A Lambda-Calculus with Constructors

DOI10.1007/11805618_14zbMath1151.03320OpenAlexW1546532908MaRDI QIDQ3527294

Alejandro Ríos, Ariel Arbiser, Alexandre Miquel

Publication date: 25 September 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11805618_14

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

Reasoning about multi-stage programs

This page was built for publication: A Lambda-Calculus with Constructors