nLab
Daniel Licata

Selected writings

Selected writings

On programming in homotopy type theory:

  • Programming in Homotopy Type Theory, Talk at IFIP Wroking Group 2.8 meeting, November, 2012 (pdf, pdf)

On basic homotopy theory in terms of homotopy type theory:

  • Homotopy theory in type theory, 2013 (pdf slides)

On adjoint logic:

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

category: people

Last revised on May 13, 2021 at 14:18:22. See the history of this page for a list of all contributions to it.