TY  - RPRT
TI  - Semantics of a Relational λ-Calculus (Extended Version)
AU  - Pablo Barenbaum
AU  - Federico Lochbaum
AU  - Mariana Milicich
PY  - 2021
UR  - https://arxiv.org/abs/2009.10929
ID  - 2009.10929
ER  -