Continuation Models are Universal for Lambda-Mu-Calculus. Hofmann 0001, M. & Streicher, T. In Proceedings of Logic in Computer Science (LICS), pages 387-395, 1997. ![Continuation Models are Universal for Lambda-Mu-Calculus [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @inproceedings{ dblp4639366,
title = {Continuation Models are Universal for Lambda-Mu-Calculus},
author = {Martin Hofmann 0001 and Thomas Streicher},
author_short = {Hofmann 0001, M. and Streicher, T.},
bibtype = {inproceedings},
type = {inproceedings},
year = {1997},
key = {dblp4639366},
id = {dblp4639366},
biburl = {http://www.dblp.org/rec/bibtex/conf/lics/HofmannS97},
url = {http://dx.doi.org/10.1109/LICS.1997.614964},
conference = {LICS},
pages = {387-395},
text = {LICS 1997:387-395},
booktitle = {Proceedings of Logic in Computer Science (LICS)}
}
Downloads: 0
{"_id":{"_str":"52a3062f9eb585cc26001f51"},"__v":3,"authorIDs":["5480332fa29145d03f000f13"],"author_short":["Hofmann 0001, M.","Streicher, T."],"bibbaseid":"hofmann0001-streicher-continuationmodelsareuniversalforlambdamucalculus-1997","bibdata":{"title":"Continuation Models are Universal for Lambda-Mu-Calculus","author":["Martin Hofmann 0001","Thomas Streicher"],"author_short":["Hofmann 0001, M.","Streicher, T."],"bibtype":"inproceedings","type":"inproceedings","year":"1997","key":"dblp4639366","id":"dblp4639366","biburl":"http://www.dblp.org/rec/bibtex/conf/lics/HofmannS97","url":"http://dx.doi.org/10.1109/LICS.1997.614964","conference":"LICS","pages":"387-395","text":"LICS 1997:387-395","booktitle":"Proceedings of Logic in Computer Science (LICS)","bibtex":"@inproceedings{ dblp4639366,\n title = {Continuation Models are Universal for Lambda-Mu-Calculus},\n author = {Martin Hofmann 0001 and Thomas Streicher},\n author_short = {Hofmann 0001, M. and Streicher, T.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {1997},\n key = {dblp4639366},\n id = {dblp4639366},\n biburl = {http://www.dblp.org/rec/bibtex/conf/lics/HofmannS97},\n url = {http://dx.doi.org/10.1109/LICS.1997.614964},\n conference = {LICS},\n pages = {387-395},\n text = {LICS 1997:387-395},\n booktitle = {Proceedings of Logic in Computer Science (LICS)}\n}","bibbaseid":"hofmann0001-streicher-continuationmodelsareuniversalforlambdamucalculus-1997","role":"author","urls":{"Paper":"http://dx.doi.org/10.1109/LICS.1997.614964"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/lics/HofmannS97","downloads":0,"keywords":[],"search_terms":["continuation","models","universal","lambda","calculus","hofmann 0001","streicher"],"title":"Continuation Models are Universal for Lambda-Mu-Calculus","year":1997,"dataSources":["Fhv9ExiPxizP4Ebkb"]}