Nicola Gambino

Publications

• Towards a Constructive Simplicial Model of Univalent Foundations. Nicola Gambino, Simon Henry. 2021.
• Monoidal Kleisli Bicategories and the Arithmetic Product of Coloured Symmetric Sequences. Nicola Gambino, Richard Garner, Christina Vasilakopoulou. 2022.
• Models of Martin-Löf Type Theory From Algebraic Weak Factorisation Systems. Nicola Gambino, Marco Federico Larrea. 2021.
• The Constructive Kan-Quillen Model Structure: Two New Proofs. Nicola Gambino, Christian Sattler, Karol Szumiło. 2021.
• The Effective Model Structure and ∞-Groupoid Objects. Nicola Gambino, Simon Henry, Christian Sattler, Karol Szumiło. 2021.
• The Frobenius Condition, Right Properness, and Uniform Fibrations. Nicola Gambino, Christian Sattler. 2017.
• Relative Pseudomonads, Kleisli Bicategories, and Substitution Monoidal Structures. Marcelo Fiore, Nicola Gambino, Martin Hyland, Glynn Winskel. 2017.
• On Operads, Bimodules and Analytic Functors. Nicola Gambino, André Joyal. 2015.
• Homotopy-Initial Algebras in Type Theory. Steve Awodey, Nicola Gambino, Kristina Sojakova. 2015.
• Inductive Types in Homotopy Type Theory. Steve Awodey, Nicola Gambino, Kristina Sojakova. 2012.
• Double Adjunctions and Free Monads. Thomas M. Fiore, Nicola Gambino, Joachim Kock. 2011.