An Alpha-Corecursion Principle for the Infinitary Lambda Calculus

DOI10.1007/978-3-642-32784-1_8MaRDI QIDQ2914680zbMATH OpenOpenAlexFDO

Authors Daniela Petrişan, Fer-Jan De Vries, Alexander Kurz, Paula Severi

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

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

Recommendations

• Finitary corecursion for the infinitary lambda calculus
• A coinductive confluence proof for infinitary lambda-calculus
• A new coinductive confluence proof for infinitary lambda calculus
• Infinitary lambda calculi from a linear perspective
• Alpha-structural induction and recursion for the lambda calculus in constructive type theory
• Infinitary lambda calculus
• An infinitary affine lambda-calculus isomorphic to the full lambda-calculus
• A finite equational axiomatization of the functional algebras for the lambda calculus
• Initial algebra semantics for lambda calculi
• Rewriting Techniques and Applications

Cited in

(8)

• Highlights in infinitary rewriting and lambda calculus
• Nominal coalgebraic data types with applications to lambda calculus
• scientific article; zbMATH DE number 2185665 (Why is no real title available?)
• scientific article; zbMATH DE number 759438 (Why is no real title available?)
• A new coinductive confluence proof for infinitary lambda calculus
• Finitary corecursion for the infinitary lambda calculus
• Parametric corecursion
• Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications

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

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