nLab Nicola Gambino

Nicola Gambino is associate professor of mathematics at Leeds.

Selected writings

On inductive types in homotopy type theory via homotopy-initial algebras over an endofunctor:

and analogously on higher inductive types:

On the constructive model structure on simplicial sets:

On Kripke-Joyal semantics and forcing in homotopy type theory:

category: people

Last revised on April 30, 2023 at 04:23:18. See the history of this page for a list of all contributions to it.