Nicola Gambino is associate professor of mathematics at Leeds.
On inductive types in homotopy type theory via homotopy-initial algebras over an endofunctor:
Steve Awodey, Nicola Gambino, Kristina Sojakova, Inductive types in homotopy type theory, LICS’12: (2012) 95–104 [arXiv:1201.3898, doi:10.1109/LICS.2012.21, Coq code]
Exposition:
Steve Awodey, Inductive types in HoTT (Jan 2012) [blog post]
and analogously on higher inductive types:
On the constructive model structure on simplicial sets:
On Kripke-Joyal semantics and forcing in homotopy type theory:
Last revised on April 30, 2023 at 04:23:18. See the history of this page for a list of all contributions to it.