nLab
Egbert Rijke

Selected writings

On homotopy type theory (synthetic homotopy theory):

On modal homotopy type theory:

On localization (in algebraic topology) formulated in modal homotopy type theory:

category: people

Last revised on August 11, 2020 at 10:47:19. See the history of this page for a list of all contributions to it.