Homotopy Type Theory
References

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

Surveys

See also Philosophy, below.

Synthetic homotopy theory

Higher category theory

Homotopical ideas and truncations in type theory

General models

Univalence

Inductive, coinductive, and higher-inductive types

Formalizations

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

Philosophy

Other

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