## Marco Gaboardi, Romain Péchoux

*Algebras and coalgebras in the light affine λ calculus*

ICFP, 2015.

@inproceedings{ICFP-2015-GaboardiP, author = "Marco Gaboardi and Romain Péchoux", booktitle = "{Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming}", doi = "10.1145/2784731.2784759", isbn = "978-1-4503-3669-7", pages = "114--126", publisher = "{ACM}", title = "{Algebras and coalgebras in the light affine λ calculus}", year = 2015, }