@inproceedings{DBLP:conf/tlca/BentonBPH93,
  author       = {P. N. Benton and
                  Gavin M. Bierman and
                  Valeria de Paiva and
                  Martin Hyland},
  editor       = {Marc Bezem and
                  Jan Friso Groote},
  title        = {A Term Calculus for Intuitionistic Linear Logic},
  booktitle    = {Typed Lambda Calculi and Applications, International Conference on
                  Typed Lambda Calculi and Applications, {TLCA} '93, Utrecht, The Netherlands,
                  March 16-18, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {664},
  pages        = {75--90},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/BFb0037099},
  doi          = {10.1007/BFB0037099},
  timestamp    = {Mon, 03 Mar 2025 21:23:10 +0100},
  biburl       = {https://dblp.org/rec/conf/tlca/BentonBPH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"HXDnoBZZZFwQQdcAy","bibbaseid":"benton-bierman-depaiva-hyland-atermcalculusforintuitionisticlinearlogic-1993","author_short":["Benton, P. N.","Bierman, G. M.","de Paiva, V.","Hyland, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["P.","N."],"propositions":[],"lastnames":["Benton"],"suffixes":[]},{"firstnames":["Gavin","M."],"propositions":[],"lastnames":["Bierman"],"suffixes":[]},{"firstnames":["Valeria"],"propositions":["de"],"lastnames":["Paiva"],"suffixes":[]},{"firstnames":["Martin"],"propositions":[],"lastnames":["Hyland"],"suffixes":[]}],"editor":[{"firstnames":["Marc"],"propositions":[],"lastnames":["Bezem"],"suffixes":[]},{"firstnames":["Jan","Friso"],"propositions":[],"lastnames":["Groote"],"suffixes":[]}],"title":"A Term Calculus for Intuitionistic Linear Logic","booktitle":"Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA '93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings","series":"Lecture Notes in Computer Science","volume":"664","pages":"75–90","publisher":"Springer","year":"1993","url":"https://doi.org/10.1007/BFb0037099","doi":"10.1007/BFB0037099","timestamp":"Mon, 03 Mar 2025 21:23:10 +0100","biburl":"https://dblp.org/rec/conf/tlca/BentonBPH93.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/tlca/BentonBPH93,\n author = {P. N. Benton and\n Gavin M. Bierman and\n Valeria de Paiva and\n Martin Hyland},\n editor = {Marc Bezem and\n Jan Friso Groote},\n title = {A Term Calculus for Intuitionistic Linear Logic},\n booktitle = {Typed Lambda Calculi and Applications, International Conference on\n Typed Lambda Calculi and Applications, {TLCA} '93, Utrecht, The Netherlands,\n March 16-18, 1993, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {664},\n pages = {75--90},\n publisher = {Springer},\n year = {1993},\n url = {https://doi.org/10.1007/BFb0037099},\n doi = {10.1007/BFB0037099},\n timestamp = {Mon, 03 Mar 2025 21:23:10 +0100},\n biburl = {https://dblp.org/rec/conf/tlca/BentonBPH93.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Benton, P. N.","Bierman, G. M.","de Paiva, V.","Hyland, M."],"editor_short":["Bezem, M.","Groote, J. F."],"key":"DBLP:conf/tlca/BentonBPH93","id":"DBLP:conf/tlca/BentonBPH93","bibbaseid":"benton-bierman-depaiva-hyland-atermcalculusforintuitionisticlinearlogic-1993","role":"author","urls":{"Paper":"https://doi.org/10.1007/BFb0037099"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/p/ValeriadePaiva.bib","dataSources":["G5gXTcMBqic2Zkybh","qgEXJdgAXvAoKsBN9"],"keywords":[],"search_terms":["term","calculus","intuitionistic","linear","logic","benton","bierman","de paiva","hyland"],"title":"A Term Calculus for Intuitionistic Linear Logic","year":1993}