@inproceedings{ DBLP:conf/popl/KobayashiPT96,
  author    = {Naoki Kobayashi and Benjamin C. Pierce and David N. Turner},
  title     = {Linearity and the Pi-Calculus},
  booktitle   = {POPL},
  pages   = {358-371},
  ee   = {http://doi.acm.org/10.1145/237721.237804} ,
  year   = {1996}
}

{"_id":{"_str":"5215f4dfa9412575610006f9"},"__v":11,"authorIDs":["5458b5e9b43425b7720001a7","54606d5acff45d9c64000040","549a0c738e3bca5f37000717"],"author_short":["Kobayashi, N.","Pierce, B. C.","Turner, D. N."],"bibbaseid":"kobayashi-pierce-turner-linearityandthepicalculus-1996","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Naoki"],"propositions":[],"lastnames":["Kobayashi"],"suffixes":[]},{"firstnames":["Benjamin","C."],"propositions":[],"lastnames":["Pierce"],"suffixes":[]},{"firstnames":["David","N."],"propositions":[],"lastnames":["Turner"],"suffixes":[]}],"title":"Linearity and the Pi-Calculus","booktitle":"POPL","pages":"358-371","ee":"http://doi.acm.org/10.1145/237721.237804","year":"1996","bibtex":"@inproceedings{ DBLP:conf/popl/KobayashiPT96,\n author = {Naoki Kobayashi and Benjamin C. Pierce and David N. Turner},\n title = {Linearity and the Pi-Calculus},\n booktitle = {POPL},\n pages = {358-371},\n ee = {http://doi.acm.org/10.1145/237721.237804} ,\n year = {1996}\n}\n\n\n","author_short":["Kobayashi, N.","Pierce, B. C.","Turner, D. N."],"key":"DBLP:conf/popl/KobayashiPT96","id":"DBLP:conf/popl/KobayashiPT96","bibbaseid":"kobayashi-pierce-turner-linearityandthepicalculus-1996","role":"author","urls":{"Link":"http://doi.acm.org/10.1145/237721.237804"},"downloads":0},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/author/benjamin-c-pierce/?format=bibtex","downloads":0,"keywords":[],"search_terms":["linearity","calculus","kobayashi","pierce","turner"],"title":"Linearity and the Pi-Calculus","title_words":["linearity","calculus"],"year":1996,"dataSources":["spTtrLGzwtPFw72mR"]}