Furio Honsell, Marina Lenisa. Unfixing the Fixpoint: The Theories of the λY-Calculus. In Bob Coecke, Luke Ong, Prakash Panangaden, editors, Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday. Volume 7860 of Lecture Notes in Computer Science, pages 150-165, Springer, 2013. [doi]
@inproceedings{HonsellL13, title = {Unfixing the Fixpoint: The Theories of the λY-Calculus}, author = {Furio Honsell and Marina Lenisa}, year = {2013}, doi = {10.1007/978-3-642-38164-5_11}, url = {http://dx.doi.org/10.1007/978-3-642-38164-5_11}, researchr = {https://researchr.org/publication/HonsellL13}, cites = {0}, citedby = {0}, pages = {150-165}, booktitle = {Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday}, editor = {Bob Coecke and Luke Ong and Prakash Panangaden}, volume = {7860}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-38163-8}, }