On modular properties of higher order extensional lambda calculi

DOI10.1007/3-540-63165-8_181MaRDI QIDQ4571956zbMATH OpenOpenAlexFDO

Authors Roberto Di Cosmo, Neil Ghani

Publication date 4 July 2018

Published in Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-63165-8_181

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Modularity of strong normalization in the algebraic-λ-cube
• Combining first order algebraic rewriting systems, recursion and extensional lambda calculi
• Modularity of termination and confluence in combinations of rewrite systems with _
• Combining algebraic rewriting, extensional lambda calculi, and fixpoints
• Modular properties of algebraic type systems

Cites work

• Adding algebraic rewriting to the untyped lambda calculus
• Combining algebraic rewriting, extensional lambda calculi, and fixpoints
• COMBINING TERM REWRITING AND TYPE ASSIGNMENT SYSTEMS
• Developing developments
• scientific article; zbMATH DE number 2185660 (Why is no real title available?)
• scientific article; zbMATH DE number 2185714 (Why is no real title available?)
• scientific article; zbMATH DE number 3928956 (Why is no real title available?)
• scientific article; zbMATH DE number 512797 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• Intersection type assignment systems with higher-order algebraic rewriting
• Modularity of strong normalization in the algebraic-λ-cube
• Modularity of termination and confluence in combinations of rewrite systems with _
• Polymorphic rewriting conserves algebraic confluence
• Polymorphic rewriting conserves algebraic strong normalization
• The lambda calculus. Its syntax and semantics. Rev. ed.
• The virtues of eta-expansion

Cited in

(10)

• A construction of one-point bases in extended lambda calculi
• Combining algebraic rewriting, extensional lambda calculi, and fixpoints
• Nonmodularity results for lambda calculus
• Modularity of strong normalization in the algebraic-λ-cube
• scientific article; zbMATH DE number 1342216 (Why is no real title available?)
• Combining first order algebraic rewriting systems, recursion and extensional lambda calculi
• Modular properties of algebraic type systems
• On the power of simple diagrams
• scientific article; zbMATH DE number 6744143 (Why is no real title available?)
• Call-by-name extensionality and confluence

This page was built for publication: On modular properties of higher order extensional lambda calculi

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