%0 Conference Paper %1 conf/tlca/BentonBPH93 %A Benton, P. N. %A Bierman, Gavin M. %A de Paiva, Valeria %A Hyland, Martin %B TLCA %D 1993 %E Bezem, Marc %E Groote, Jan Friso %I Springer %K dblp %P 75-90 %T A Term Calculus for Intuitionistic Linear Logic. %U http://dblp.uni-trier.de/db/conf/tlca/tlca93.html#BentonBPH93 %V 664 %@ 3-540-56517-5

@inproceedings{conf/tlca/BentonBPH93, added-at = {2018-11-14T00:00:00.000+0100}, author = {Benton, P. N. and Bierman, Gavin M. and de Paiva, Valeria and Hyland, Martin}, biburl = {https://www.bibsonomy.org/bibtex/21ad2d9366ee5b600717a2374d60a1993/dblp}, booktitle = {TLCA}, crossref = {conf/tlca/1993}, editor = {Bezem, Marc and Groote, Jan Friso}, ee = {https://www.wikidata.org/entity/Q56994611}, interhash = {0a5b730ce34e0a58c14e0e32776ba659}, intrahash = {1ad2d9366ee5b600717a2374d60a1993}, isbn = {3-540-56517-5}, keywords = {dblp}, pages = {75-90}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:22:07.000+0200}, title = {A Term Calculus for Intuitionistic Linear Logic.}, url = {http://dblp.uni-trier.de/db/conf/tlca/tlca93.html#BentonBPH93}, volume = 664, year = 1993 }