Semantics of a Relational λ-Calculus.

Pablo Barenbaum, Federico Lochbaum, Mariana Milicich

Browse the full ICTAC paper archive.