## Gavin M. Bierman

*What is a Categorical Model of Intuitionistic Linear Logic?*

TLCA, 1995.

@inproceedings{TLCA-1995-Bierman, author = "Gavin M. Bierman", booktitle = "{Proceedings of the Second International Conference on Typed Lambda Calculi and Applications}", doi = "10.1007/BFb0014046", isbn = "3-540-59048-X", pages = "78--93", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{What is a Categorical Model of Intuitionistic Linear Logic?}", volume = 902, year = 1995, }