## Damiano Mazza

*An Infinitary Affine λ-Calculus Isomorphic to the Full λ-Calculus*

LICS, 2012.

@inproceedings{LICS-2012-Mazza, author = "Damiano Mazza", booktitle = "{Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2012.57", isbn = "978-1-4673-2263-8", pages = "471--480", publisher = "{IEEE Computer Society}", title = "{An Infinitary Affine λ-Calculus Isomorphic to the Full λ-Calculus}", year = 2012, }