Semantics of a relational \(\lambda\)-calculus

DOI10.1007/978-3-030-64276-1_13OpenAlexW3138070738MaRDI QIDQ2037950

Mariana Milicich, Pablo Barenbaum, Federico Lochbaum

Publication date: 8 July 2021

Full work available at URL: https://arxiv.org/abs/2009.10929

zbMATH Keywords

confluencesemanticslogic programmingfunctional programminglambda calculusrelational programming

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: Semantics of a relational \(\lambda\)-calculus