The Groupoid Model Refutes Uniqueness of Identity Proofs. Hofmann 0001, M. & Streicher, T. In Proceedings of Logic in Computer Science (LICS), pages 208-212, 1994.
Paper bibtex @inproceedings{ dblp4766100,
title = {The Groupoid Model Refutes Uniqueness of Identity Proofs},
author = {Martin Hofmann 0001 and Thomas Streicher},
author_short = {Hofmann 0001, M. and Streicher, T.},
bibtype = {inproceedings},
type = {inproceedings},
year = {1994},
key = {dblp4766100},
id = {dblp4766100},
biburl = {http://www.dblp.org/rec/bibtex/conf/lics/HofmannS94},
url = {http://dx.doi.org/10.1109/LICS.1994.316071},
conference = {LICS},
pages = {208-212},
text = {LICS 1994:208-212},
booktitle = {Proceedings of Logic in Computer Science (LICS)}
}
Downloads: 0
{"_id":{"_str":"52a3062f9eb585cc26001f2a"},"__v":3,"authorIDs":["5480332fa29145d03f000f13"],"author_short":["Hofmann 0001, M.","Streicher, T."],"bibbaseid":"hofmann0001-streicher-thegroupoidmodelrefutesuniquenessofidentityproofs-1994","bibdata":{"title":"The Groupoid Model Refutes Uniqueness of Identity Proofs","author":["Martin Hofmann 0001","Thomas Streicher"],"author_short":["Hofmann 0001, M.","Streicher, T."],"bibtype":"inproceedings","type":"inproceedings","year":"1994","key":"dblp4766100","id":"dblp4766100","biburl":"http://www.dblp.org/rec/bibtex/conf/lics/HofmannS94","url":"http://dx.doi.org/10.1109/LICS.1994.316071","conference":"LICS","pages":"208-212","text":"LICS 1994:208-212","booktitle":"Proceedings of Logic in Computer Science (LICS)","bibtex":"@inproceedings{ dblp4766100,\n title = {The Groupoid Model Refutes Uniqueness of Identity Proofs},\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 = {1994},\n key = {dblp4766100},\n id = {dblp4766100},\n biburl = {http://www.dblp.org/rec/bibtex/conf/lics/HofmannS94},\n url = {http://dx.doi.org/10.1109/LICS.1994.316071},\n conference = {LICS},\n pages = {208-212},\n text = {LICS 1994:208-212},\n booktitle = {Proceedings of Logic in Computer Science (LICS)}\n}","bibbaseid":"hofmann0001-streicher-thegroupoidmodelrefutesuniquenessofidentityproofs-1994","role":"author","urls":{"Paper":"http://dx.doi.org/10.1109/LICS.1994.316071"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/lics/HofmannS94","downloads":0,"keywords":[],"search_terms":["groupoid","model","refutes","uniqueness","identity","proofs","hofmann 0001","streicher"],"title":"The Groupoid Model Refutes Uniqueness of Identity Proofs","year":1994,"dataSources":["hw23NmEy3uYZA5ZuQ"]}