Semantics of a Relational λ-Calculus (Extended Version)

Pablo Barenbaum, Federico Lochbaum, Mariana Milicich

We extend the λ-calculus with constructs suitable for relational and functional-logic programming: non-deterministic choice, fresh variable introduction, and unification of express…