A Coinductive Confluence Proof for Infinitary Lambda-Calculus

DOI10.1007/978-3-319-08918-8_12zbMath1417.03132OpenAlexW20313843MaRDI QIDQ5170815

Łukasz Czajka

Publication date: 24 July 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08918-8_12

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Related Items (5)

Unnamed Item ⋮ Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: A Coinductive Confluence Proof for Infinitary Lambda-Calculus