Homotopy Type Theory References > history (Rev #64, changes)

Showing changes from revision #63 to #64: 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

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

category: reference, navigation

Revision on January 26, 2019 at 00:50:39 by Mike Shulman. See the history of this page for a list of all contributions to it.