@inproceedings{benton1993linear,
  title={Linear $\lambda$-calculus and categorical models revisited},
  author={Benton, Nick and Bierman, Gavin and De Paiva, Valeria and Hyland, Martin},
  booktitle={Computer Science Logic: 6th Workshop, CSL'92 San Miniato, Italy, September 28--October 2, 1992 Selected Papers 6},
  pages={61--84},
  year={1993},
  organization={Springer Berlin Heidelberg}
}

{"_id":"bh9xYjWcwFjy7pHTd","bibbaseid":"benton-bierman-depaiva-hyland-linearcalculusandcategoricalmodelsrevisited-1993","author_short":["Benton, N.","Bierman, G.","De Paiva, V.","Hyland, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Linear $λ$-calculus and categorical models revisited","author":[{"propositions":[],"lastnames":["Benton"],"firstnames":["Nick"],"suffixes":[]},{"propositions":[],"lastnames":["Bierman"],"firstnames":["Gavin"],"suffixes":[]},{"propositions":[],"lastnames":["De","Paiva"],"firstnames":["Valeria"],"suffixes":[]},{"propositions":[],"lastnames":["Hyland"],"firstnames":["Martin"],"suffixes":[]}],"booktitle":"Computer Science Logic: 6th Workshop, CSL'92 San Miniato, Italy, September 28–October 2, 1992 Selected Papers 6","pages":"61–84","year":"1993","organization":"Springer Berlin Heidelberg","bibtex":"@inproceedings{benton1993linear,\n title={Linear $\\lambda$-calculus and categorical models revisited},\n author={Benton, Nick and Bierman, Gavin and De Paiva, Valeria and Hyland, Martin},\n booktitle={Computer Science Logic: 6th Workshop, CSL'92 San Miniato, Italy, September 28--October 2, 1992 Selected Papers 6},\n pages={61--84},\n year={1993},\n organization={Springer Berlin Heidelberg}\n}\n\n","author_short":["Benton, N.","Bierman, G.","De Paiva, V.","Hyland, M."],"key":"benton1993linear","id":"benton1993linear","bibbaseid":"benton-bierman-depaiva-hyland-linearcalculusandcategoricalmodelsrevisited-1993","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/bGmnF9MtdvorA3axu","dataSources":["G5gXTcMBqic2Zkybh"],"keywords":[],"search_terms":["linear","calculus","categorical","models","revisited","benton","bierman","de paiva","hyland"],"title":"Linear $λ$-calculus and categorical models revisited","year":1993}