## Patrick Baillot

*From Proof-Nets to Linear Logic Type Systems for Polynomial Time Computing*

TLCA, 2007.

@inproceedings{TLCA-2007-Baillot, author = "Patrick Baillot", booktitle = "{Proceedings of the Eighth International Conference on Typed Lambda Calculi and Applications}", doi = "10.1007/978-3-540-73228-0_2", isbn = "978-3-540-73227-3", pages = "2--7", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{From Proof-Nets to Linear Logic Type Systems for Polynomial Time Computing}", volume = 4583, year = 2007, }