3) in Homotopy Type Theory - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Guillaume Brunerie. 3) in Homotopy Type Theory. Journal of Automated Reasoning, 63(2):255-284, 2019. [doi]

@article{Brunerie19,
  title = {3) in Homotopy Type Theory},
  author = {Guillaume Brunerie},
  year = {2019},
  doi = {10.1007/s10817-018-9468-2},
  url = {https://doi.org/10.1007/s10817-018-9468-2},
  researchr = {https://researchr.org/publication/Brunerie19},
  cites = {0},
  citedby = {0},
  journal = {Journal of Automated Reasoning},
  volume = {63},
  number = {2},
  pages = {255-284},
}

runs on WebDSL