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:

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 June 19, 2022 at 04:42:40. See the history of this page for a list of all contributions to it.