nLab Hugo Herbelin

Skip the Navigation Links | Home Page | All Pages | Latest Revisions | Discuss this page | Pages contributed to
Selected writings

Selected writings

On semi-simplicial types in homotopy type theory:

  • Hugo Herbelin, A dependently-typed construction of semi-simplicial types (3/20/2013) [pdf]

On bar induction:

  • Nuria Brede, Hugo Herbelin, On the logical structure of choice and bar induction principles, LICS 2021 - 36th Annual Symposium on Logic in Computer Science, Jun 2021, Rome / Virtual, Italy. (arXiv:2105.08951)
category: people

Last revised on April 14, 2025 at 18:17:02. See the history of this page for a list of all contributions to it.

EditDiscussPrevious revisionChanges from previous revisionHistory (2 revisions) Cite Print Source