1-2 of 2
Authors: Nicola Gambino
Save search
Sort by
Journal Article

The Constructive Kan–Quillen Model Structure: Two New Proofs

PDF
Nicola Gambino and others
The Quarterly Journal of Mathematics, Volume 73, Issue 4, December 2022, Pages 1307–1373, https://doi.org/10.1093/qmath/haab057
Published: 21 April 2022
Chapter

PRESHEAF MODELS FOR CONSTRUCTIVE SET THEORIES Get access

Nicola Gambino
in From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics
Published: 06 October 2005