pith. sign in

Homotopy Type The- ory in Lean

Floris van Doorn, Jakob von Raumer, Ulrik Buchholtz · 2017 · DOI 10.1007/978-3-319-66107-0_30

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it
open at publisher browse 1 citing papers

fields

math.LO 1

years

2019 1

verdicts

UNVERDICTED 1

representative citing papers

Classifying Types

math.LO · 2019-06-22 · unverdicted · novelty 5.0

The thesis advances the development of synthetic homotopy theory within homotopy type theory, covering classifying types and internal questions not necessarily tied to classical homotopy.

citing papers explorer

Showing 1 of 1 citing paper.

  • Classifying Types math.LO · 2019-06-22 · unverdicted · none · ref 17

    The thesis advances the development of synthetic homotopy theory within homotopy type theory, covering classifying types and internal questions not necessarily tied to classical homotopy.