Publication details
Year: 2020
Pages: 681-700
Series: Synthese
Full citation:
, "Expressing "the structure of" in homotopy type theory", Synthese 197 (2), 2020, pp. 681-700.
Expressing "the structure of" in homotopy type theory
pp. 681-700
in: Carolin Antos, Neil Barton, Sy D. Friedman, Claudio Ternullo, John Wigglesworth (eds), Foundations of mathematics, Synthese 197 (2), 2020.Publication details
Year: 2020
Pages: 681-700
Series: Synthese
Full citation:
, "Expressing "the structure of" in homotopy type theory", Synthese 197 (2), 2020, pp. 681-700.