The λ-calculus with constructors: Syntax, confluence and separation

DOI10.1017/S0956796809007369zbMath1191.68155OpenAlexW2052166813MaRDI QIDQ3644936

Alejandro Ríos, Ariel Arbiser, Alexandre Miquel

Publication date: 13 November 2009

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796809007369

zbMATH Keywords

separation theoremBöhm's theorem

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (5)

Continuation Models for the Lambda Calculus With Constructors ⋮ Type soundness for path polymorphism ⋮ The vectorial \(\lambda\)-calculus ⋮ Functional pearl: the distributive \(\lambda\)-calculus ⋮ A Polymorphic Type System for the Lambda-Calculus with Constructors

Uses Software

• OCaml

Cites Work

• The lambda calculus. Its syntax and semantics. Rev. ed.
• Locus Solum: From the rules of logic to the logic of rules

This page was built for publication: The λ-calculus with constructors: Syntax, confluence and separation