nLab
Nicola Gambino

Nicola Gambino is associate professor of mathematics at Leeds.

• website

related $n$Lab entries

• homotopy limit

• monad

• type theory, homotopy type theory

• higher inductive type, initial algebra over an endofunctor, W-types

• software verification

category: people