Homotopy Type Theory
References (Rev #62, changes)

Showing changes from revision #61 to #62: Added | Removed | Changed

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 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



Revision on October 14, 2018 at 13:24:13 by Ali Caglayan. See the history of this page for a list of all contributions to it.