scientific article; zbMATH DE number 2185658

MaRDI QIDQ3024832zbMATH OpenFDO

Authors Roberto Di Cosmo, Adolfo Piperno

Publication date 4 July 2005

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 1114357
• Simulating expansions without expansions
• A confluent reduction for the extensional typed -calculus with pairs, sums, recursion and terminal object
• Syntactic analysis of \(\eta\)-expansions in pure type systems.
• scientific article; zbMATH DE number 1330132

Cited in

(15)

• Developing developments
• Syntactic analysis of \(\eta\)-expansions in pure type systems.
• Extending R
• Multiproperty-Preserving Domain Extension Using Polynomial-Based Modes of Operation
• scientific article; zbMATH DE number 2185714 (Why is no real title available?)
• Simulating expansions without expansions
• scientific article; zbMATH DE number 1086667 (Why is no real title available?)
• scientific article; zbMATH DE number 1114357 (Why is no real title available?)
• scientific article; zbMATH DE number 2090071 (Why is no real title available?)
• The virtues of eta-expansion
• Confluence properties of extensional and non-extensional λ-calculi with explicit substitutions (extended abstract)
• On the power of simple diagrams
• Subtyping + extensionality: confluence of \(\beta \eta\)top reduction in \(\mathrm{F}_\leq\)
• Programming Languages and Systems
• Rewriting with extensional polymorphic \(\lambda \)-calculus

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