Nicola Gambino
University of Leeds
H-index: 18
Europe-United Kingdom
Top articles of Nicola Gambino
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Models of Martin-Löf type theory from algebraic weak factorisation systems | The Journal of Symbolic Logic | Nicola Gambino Marco Federico Larrea | 2023/3 |
Differential λ-calculus and analytic functors | Nicola Gambino | 2022/9/14 | |
Monoidal Kleisli Bicategories and the Arithmetic Product of Coloured Symmetric Sequences | arXiv preprint arXiv:2206.06858 | Nicola Gambino Richard Garner Christina Vasilakopoulou | 2022/6/14 |
Towards a constructive simplicial model of Univalent Foundations | Journal of the London Mathematical Society | Nicola Gambino Simon Henry | 2022/3 |
The effective model structure and-groupoid objects | Forum of Mathematics, Sigma | Nicola Gambino Simon Henry Christian Sattler Karol Szumiło | 2022/1 |
The constructive Kan–Quillen model structure: two new proofs | The Quarterly Journal of Mathematics | Nicola Gambino Christian Sattler Karol Szumiło | 2022/12/1 |
Kripke-Joyal forcing for type theory and uniform fibrations | arXiv preprint arXiv:2110.14576 | Steve Awodey Nicola Gambino Sina Hazratpour | 2021/10/27 |