BibTeX record conf/cpp/BauerGLSSS17

• > Home > conf/cpp/BauerGLSSS17

@inproceedings{DBLP:conf/cpp/BauerGLSSS17,
  author       = {Andrej Bauer and
                  Jason Gross and
                  Peter LeFanu Lumsdaine and
                  Michael Shulman and
                  Matthieu Sozeau and
                  Bas Spitters},
  editor       = {Yves Bertot and
                  Viktor Vafeiadis},
  title        = {The HoTT library: a formalization of homotopy type theory in Coq},
  booktitle    = {Proceedings of the 6th {ACM} {SIGPLAN} Conference on Certified Programs
                  and Proofs, {CPP} 2017, Paris, France, January 16-17, 2017},
  pages        = {164--172},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3018610.3018615},
  doi          = {10.1145/3018610.3018615},
  timestamp    = {Fri, 04 Jul 2025 22:05:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cpp/BauerGLSSS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}