TY  - RPRT
TI  - A proof theoretic basis for relational semantics
AU  - Carlos G. Lopez Pombo
AU  - Thomas S. E. Maibaum
PY  - 2021
UR  - https://arxiv.org/abs/2107.08253
ID  - 2107.08253
ER  -