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)

Introduction to basics of synthetic homotopy theory in terms of homotopy type theory:

Formalization of (the proof of) the Blakers-Massey theorem in 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

Last revised on March 23, 2023 at 10:47:46. See the history of this page for a list of all contributions to it.