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.
The Groupoid Model Refutes Uniqueness of Identity Proofs [link]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