@book{ dblp4616734,
  title = {Extensional constructs in intensional type theory},
  author = {Martin Hofmann 0001},
  author_short = {Hofmann 0001, M.},
  bibtype = {book},
  type = {book},
  year = {1997},
  key = {dblp4616734},
  id = {dblp4616734},
  biburl = {http://www.dblp.org/rec/bibtex/books/daglib/0088162},
  url = {},
  publisher = {Springer},
  text = {Springer 1997}
}

{"_id":{"_str":"52a3062f9eb585cc26001f3d"},"__v":3,"authorIDs":["5480332fa29145d03f000f13"],"author_short":["Hofmann 0001, M."],"bibbaseid":"hofmann0001-extensionalconstructsinintensionaltypetheory-1997","bibdata":{"title":"Extensional constructs in intensional type theory","author":["Martin Hofmann 0001"],"author_short":["Hofmann 0001, M."],"bibtype":"book","type":"book","year":"1997","key":"dblp4616734","id":"dblp4616734","biburl":"http://www.dblp.org/rec/bibtex/books/daglib/0088162","url":"","publisher":"Springer","text":"Springer 1997","bibtex":"@book{ dblp4616734,\n title = {Extensional constructs in intensional type theory},\n author = {Martin Hofmann 0001},\n author_short = {Hofmann 0001, M.},\n bibtype = {book},\n type = {book},\n year = {1997},\n key = {dblp4616734},\n id = {dblp4616734},\n biburl = {http://www.dblp.org/rec/bibtex/books/daglib/0088162},\n url = {},\n publisher = {Springer},\n text = {Springer 1997}\n}","bibbaseid":"hofmann0001-extensionalconstructsinintensionaltypetheory-1997","role":"author","urls":{},"downloads":0},"bibtype":"book","biburl":"http://www.dblp.org/rec/bibtex/books/daglib/0088162","downloads":0,"keywords":[],"search_terms":["extensional","constructs","intensional","type","theory","hofmann 0001"],"title":"Extensional constructs in intensional type theory","year":1997,"dataSources":["SvdpYm4Mu5TnHSpoy"]}