An Alpha-Corecursion Principle for the Infinitary Lambda Calculus

DOI10.1007/978-3-642-32784-1_8zbMath1328.03008OpenAlexW90191816MaRDI QIDQ2914680

Daniela Petrişan, Fer-Jan de Vries, Paula G.Severi, Alexander Kurz

Publication date: 20 September 2012

Published in: Coalgebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32784-1_8

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Combinatory logic and lambda calculus (03B40)

Related Items (3)

Highlights in infinitary rewriting and lambda calculus ⋮ Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications ⋮ Unnamed Item

This page was built for publication: An Alpha-Corecursion Principle for the Infinitary Lambda Calculus