scientific article; zbMATH DE number 4179332

MaRDI QIDQ3202990zbMATH OpenFDO

Authors Roel de Vrijer

Publication date 1989

zbMATH Keywords

\(\lambda \) -calculusequational theoryreduction systemsurjective pairing

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Thue and Post systems, etc. (03D03) Semantics in the theory of computing (68Q55)

Recommendations

• Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative
• Unique normal forms for lambda calculus with surjective pairing
• scientific article; zbMATH DE number 176742
• Pairings on Lambda Algebras
• scientific article; zbMATH DE number 742724

Cited in

(14)

• Unique normal forms for lambda calculus with surjective pairing
• How to think of intersection types as Cartesian products
• Descendants and origins in term rewriting.
• On polymorphic types of untyped terms
• Binding in nominal equational logic
• Pairings on Lambda Algebras
• scientific article; zbMATH DE number 176742 (Why is no real title available?)
• Open problems in rewriting
• Levy labels and recursive types
• Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative
• Extended term rewriting systems
• Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem
• Conditional linearization
• On the confluence of lambda-calculus with conditional rewriting

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 Q3202990)