scientific article; zbMATH DE number 2186938

MaRDI QIDQ3025159zbMATH OpenFDO

Authors Pimpen Vejjajiva, Mark E. Hall

Publication date 12 July 2005

zbMATH Keywords

\(\lambda\)-calculusChurch-Rosser theorem

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Lambda calculus with patterns
• A Lambda-Calculus with Constructors
• Computability via the lambda calculus with patterns
• An Introduction to the Lambda Calculus
• The λ-calculus with constructors: Syntax, confluence and separation

Cited in

(12)

• The undecidability of pattern matching in calculi where primitive recursive functions are representable
• A typed pattern calculus
• scientific article; zbMATH DE number 1696772 (Why is no real title available?)
• Computability via the lambda calculus with patterns
• A Lambda-Calculus with Constructors
• Symbolic manipulation in an extended λ-calculus
• scientific article; zbMATH DE number 4061195 (Why is no real title available?)
• scientific article; zbMATH DE number 2090072 (Why is no real title available?)
• Star types: a type system for pattern calculus
• Pattern-based calculi with finitary matching
• To -define the computable functions without the fixed point operators
• Lambda calculus with patterns

This page was built for publication:

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