Olivier Danvy, Peter Thiemann, Ian Zerny. Circularity and Lambda Abstraction: From Bird to Pettorossi and back. In Rinus Plasmeijer, editor, Proceedings of the 25th Symposium on Implementation and Application of Functional Languages, Nijmegen, The Netherlands, August 28-30, 2013. pages 85, ACM, 2013. [doi]
@inproceedings{DanvyTZ13,
title = {Circularity and Lambda Abstraction: From Bird to Pettorossi and back},
author = {Olivier Danvy and Peter Thiemann and Ian Zerny},
year = {2013},
doi = {10.1145/2620678.2620687},
url = {http://doi.acm.org/10.1145/2620678.2620687},
researchr = {https://researchr.org/publication/DanvyTZ13},
cites = {0},
citedby = {0},
pages = {85},
booktitle = {Proceedings of the 25th Symposium on Implementation and Application of Functional Languages, Nijmegen, The Netherlands, August 28-30, 2013},
editor = {Rinus Plasmeijer},
publisher = {ACM},
isbn = {978-1-4503-2988-0},
}