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