共 35 条
[2]
[Anonymous], 2009, HIGHER TOPOS THEORY, DOI DOI 10.1515/9781400830558
[3]
A cubical model of homotopy type theory
[J].
ANNALS OF PURE AND APPLIED LOGIC,
2018, 169 (12)
:1270-1294
[4]
Barthel T, 2014, NEW YORK J MATH, V20, P1077
[7]
Brown R, 2011, EMS TRACTS MATH, V15, P1
[10]
CLASS-COMBINATORIAL MODEL CATEGORIES
[J].
HOMOLOGY HOMOTOPY AND APPLICATIONS,
2012, 14 (01)
:263-280