A Lambda-Calculus with Constructors

DOI10.1007/11805618_14MaRDI QIDQ3527294zbMATH OpenOpenAlexFDO

Authors Ariel Arbiser, Alexandre Miquel, A. Ríos

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)

Recommendations

• Semantics of typed lambda-calculus with constructors
• The λ-calculus with constructors: Syntax, confluence and separation
• On constructor rewrite systems and the lambda calculus
• On Constructor Rewrite Systems and the Lambda-Calculus
• A Polymorphic Type System for the Lambda-Calculus with Constructors
• Continuation models for the lambda calculus with constructors
• scientific article; zbMATH DE number 4047683
• scientific article; zbMATH DE number 3941503
• A calculus of lambda calculus contexts
• scientific article; zbMATH DE number 2186938

Cited in

(11)

• On constructor rewrite systems and the lambda calculus
• Semantics of typed lambda-calculus with constructors
• scientific article; zbMATH DE number 2186938 (Why is no real title available?)
• Computability via the lambda calculus with patterns
• Continuation models for the lambda calculus with constructors
• A Polymorphic Type System for the Lambda-Calculus with Constructors
• The λ-calculus with constructors: Syntax, confluence and separation
• scientific article; zbMATH DE number 4061195 (Why is no real title available?)
• scientific article; zbMATH DE number 2090072 (Why is no real title available?)
• Functions-as-constructors Higher-order Unification
• Reasoning about multi-stage programs

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3527294)