@inproceedings{DBLP:conf/ctcs/JacobsMS91,
  author       = {Bart Jacobs and
                  Eugenio Moggi and
                  Thomas Streicher},
  editor       = {David H. Pitt and
                  Pierre{-}Louis Curien and
                  Samson Abramsky and
                  Andrew M. Pitts and
                  Axel Poign{\'{e}} and
                  David E. Rydeheard},
  title        = {Relating Models of Impredicative Type Theories},
  booktitle    = {Category Theory and Computer Science, 4th International Conference,
                  Paris, France, September 3-6, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {530},
  pages        = {197--218},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0013467},
  doi          = {10.1007/BFB0013467},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ctcs/JacobsMS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"WYs6BuZWiPiHZak4M","bibbaseid":"jacobs-moggi-streicher-relatingmodelsofimpredicativetypetheories-1991","author_short":["Jacobs, B.","Moggi, E.","Streicher, T."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Bart"],"propositions":[],"lastnames":["Jacobs"],"suffixes":[]},{"firstnames":["Eugenio"],"propositions":[],"lastnames":["Moggi"],"suffixes":[]},{"firstnames":["Thomas"],"propositions":[],"lastnames":["Streicher"],"suffixes":[]}],"editor":[{"firstnames":["David","H."],"propositions":[],"lastnames":["Pitt"],"suffixes":[]},{"firstnames":["Pierre-Louis"],"propositions":[],"lastnames":["Curien"],"suffixes":[]},{"firstnames":["Samson"],"propositions":[],"lastnames":["Abramsky"],"suffixes":[]},{"firstnames":["Andrew","M."],"propositions":[],"lastnames":["Pitts"],"suffixes":[]},{"firstnames":["Axel"],"propositions":[],"lastnames":["Poigné"],"suffixes":[]},{"firstnames":["David","E."],"propositions":[],"lastnames":["Rydeheard"],"suffixes":[]}],"title":"Relating Models of Impredicative Type Theories","booktitle":"Category Theory and Computer Science, 4th International Conference, Paris, France, September 3-6, 1991, Proceedings","series":"Lecture Notes in Computer Science","volume":"530","pages":"197–218","publisher":"Springer","year":"1991","url":"https://doi.org/10.1007/BFb0013467","doi":"10.1007/BFB0013467","timestamp":"Wed, 25 Sep 2019 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/ctcs/JacobsMS91.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ctcs/JacobsMS91,\n author = {Bart Jacobs and\n Eugenio Moggi and\n Thomas Streicher},\n editor = {David H. Pitt and\n Pierre{-}Louis Curien and\n Samson Abramsky and\n Andrew M. Pitts and\n Axel Poign{\\'{e}} and\n David E. Rydeheard},\n title = {Relating Models of Impredicative Type Theories},\n booktitle = {Category Theory and Computer Science, 4th International Conference,\n Paris, France, September 3-6, 1991, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {530},\n pages = {197--218},\n publisher = {Springer},\n year = {1991},\n url = {https://doi.org/10.1007/BFb0013467},\n doi = {10.1007/BFB0013467},\n timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/ctcs/JacobsMS91.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Jacobs, B.","Moggi, E.","Streicher, T."],"editor_short":["Pitt, D. H.","Curien, P.","Abramsky, S.","Pitts, A. M.","Poigné, A.","Rydeheard, D. E."],"key":"DBLP:conf/ctcs/JacobsMS91","id":"DBLP:conf/ctcs/JacobsMS91","bibbaseid":"jacobs-moggi-streicher-relatingmodelsofimpredicativetypetheories-1991","role":"author","urls":{"Paper":"https://doi.org/10.1007/BFb0013467"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/m/EugenioMoggi.bib","dataSources":["zeiEuBHe8CqDz9x5h"],"keywords":[],"search_terms":["relating","models","impredicative","type","theories","jacobs","moggi","streicher"],"title":"Relating Models of Impredicative Type Theories","year":1991}