Homotopy Type Theory
References (Rev #63)

A roughly taxonomised listing of some of the papers on Homotopy Type Theory. Titles link to more details, bibdata, etc. Currently very incomplete; please add!

A good place to start


See also Philosophy, below.

Synthetic homotopy theory

Higher category theory

Homotopical ideas and truncations in type theory

General models


Inductive, coinductive, and higher-inductive types


Applications to computing

Cubical models and cubical type theory

Syntax of type theory

Strict equality types

Directed type theory

Cohesion and modalities

Theories and models

Computational interpretation



category: reference, navigation

Revision on November 1, 2018 at 13:48:34 by Mike Shulman. See the history of this page for a list of all contributions to it.