## Claudia Faggian, Mauro Piccolo

*Ludics is a Model for the Finitary Linear π-Calculus*

TLCA, 2007.

@inproceedings{TLCA-2007-FaggianP, author = "Claudia Faggian and Mauro Piccolo", booktitle = "{Proceedings of the Eighth International Conference on Typed Lambda Calculi and Applications}", doi = "10.1007/978-3-540-73228-0_12", isbn = "978-3-540-73227-3", pages = "148--162", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Ludics is a Model for the Finitary Linear π-Calculus}", volume = 4583, year = 2007, }