Finitary Corecursion for the Infinitary Lambda Calculus

DOI10.4230/LIPIcs.CALCO.2015.336zbMath1366.03172arXiv1505.07736MaRDI QIDQ5275360

Stefan Milius, Thorsten Wißmann

Publication date: 11 July 2017

Full work available at URL: https://arxiv.org/abs/1505.07736

zbMATH Keywords

rational treescoinductioninfinitary lambda calculus

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Combinatory logic and lambda calculus (03B40)

Related Items (6)

Unnamed Item ⋮ Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets ⋮ On algebras with effectful iteration ⋮ A New Foundation for Finitary Corecursion ⋮ A coalgebraic view on reachability ⋮ A new foundation for finitary corecursion and iterative algebras

This page was built for publication: Finitary Corecursion for the Infinitary Lambda Calculus