Confluence of the coinductive \(\lambda\)-calculus

DOI10.1016/S0304-3975(03)00324-4zbMath1088.03014MaRDI QIDQ1884931

Felix Joachimski

Publication date: 27 October 2004

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

reductionconfluencecoinductive \(\lambda\)-calculus

Mathematics Subject Classification ID

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

Related Items (6)

Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications ⋮ Computational ludics ⋮ Continuous normalization for the lambda-calculus and Gödel's T ⋮ Decomposition of data mining algorithms into unified functional blocks ⋮ Unnamed Item ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Infinitary lambda calculus
• Universal coalgebra: A theory of systems
• de Bruijn notation as a nested datatype

This page was built for publication: Confluence of the coinductive \(\lambda\)-calculus