@misc{bezem2017univalence,
  title        = {{The univalence axiom in cubical sets}},
  author       = {Marc Bezem and Thierry Coquand and Simon Huber},
  year         = 2017,
  month        = jun,
  journal      = {{Journal of Automated Reasoning}},
  publisher    = {Springer Science and Business Media {LLC}},
  volume       = 63,
  number       = 2,
  pages        = {159--171},
  doi          = {10.1007/s10817-018-9472-6},
  url          = {10.1007/s10817-018-9472-6},
  eprint       = {1710.10941},
  archiveprefix = {arXiv},
  primaryclass = {math.LO},
}

{"_id":"ak3Aoa5Ya3qxfpLaD","bibbaseid":"bezem-coquand-huber-theunivalenceaxiomincubicalsets-2017","author_short":["Bezem, M.","Coquand, T.","Huber, S."],"bibdata":{"bibtype":"misc","type":"misc","title":"The univalence axiom in cubical sets","author":[{"firstnames":["Marc"],"propositions":[],"lastnames":["Bezem"],"suffixes":[]},{"firstnames":["Thierry"],"propositions":[],"lastnames":["Coquand"],"suffixes":[]},{"firstnames":["Simon"],"propositions":[],"lastnames":["Huber"],"suffixes":[]}],"year":"2017","month":"June","journal":"Journal of Automated Reasoning","publisher":"Springer Science and Business Media LLC","volume":"63","number":"2","pages":"159–171","doi":"10.1007/s10817-018-9472-6","url":"10.1007/s10817-018-9472-6","eprint":"1710.10941","archiveprefix":"arXiv","primaryclass":"math.LO","bibtex":"@misc{bezem2017univalence,\n title = {{The univalence axiom in cubical sets}},\n author = {Marc Bezem and Thierry Coquand and Simon Huber},\n year = 2017,\n month = jun,\n journal = {{Journal of Automated Reasoning}},\n publisher = {Springer Science and Business Media {LLC}},\n volume = 63,\n number = 2,\n pages = {159--171},\n doi = {10.1007/s10817-018-9472-6},\n url = {10.1007/s10817-018-9472-6},\n eprint = {1710.10941},\n archiveprefix = {arXiv},\n primaryclass = {math.LO},\n}\n\n","author_short":["Bezem, M.","Coquand, T.","Huber, S."],"key":"bezem2017univalence","id":"bezem2017univalence","bibbaseid":"bezem-coquand-huber-theunivalenceaxiomincubicalsets-2017","role":"author","urls":{"Paper":"https://bibbase.org/f/Gnwbc34Hkr4ELKWdc/10.1007/s10817-018-9472-6"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"misc","biburl":"https://bibbase.org/f/Gnwbc34Hkr4ELKWdc/ref.bib","dataSources":["CC7dawDvD4eaYGJSr"],"keywords":[],"search_terms":["univalence","axiom","cubical","sets","bezem","coquand","huber"],"title":"The univalence axiom in cubical sets","year":2017}