Relating Models of Impredicative Type Theories. Jacobs, B., Moggi, E., & Streicher, T. In Pitt, D. H., Curien, P., Abramsky, S., Pitts, A. M., Poigné, A., & Rydeheard, D. E., editors, Category Theory and Computer Science, 4th International Conference, Paris, France, September 3-6, 1991, Proceedings, volume 530, of Lecture Notes in Computer Science, pages 197–218, 1991. Springer.
Paper doi bibtex @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}
}
Downloads: 0
{"_id":"ivyw9yMDzNr4Ehjzb","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}