Semantics of a Relational λ-Calculus. - Pablo Barenbaum; Federico Lochbaum; Mariana Milicich (ICTAC, 2020)

Semantics of a Relational λ-Calculus (Extended Version). - Pablo Barenbaum; Federico Lochbaum; Mariana Milicich (CoRR, 2020)