Finitary Corecursion for the Infinitary Lambda Calculus
From MaRDI portal
Publication:5275360
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
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