nLab
Daniel Licata

Selected writings

On programming in homotopy type theory:

On basic homotopy theory in terms of homotopy type theory:

On adjoint logic:

On homotopy dependent linear type theory of dependent stable homotopy types with categorical semantics in parametrized spectra:

category: people