Homotopy Type Theory
type theories (changes)

Showing changes from revision #6 to #7: Added | Removed | Changed

This See page lists some of the type theories and variations that have been used or proposed for doing homotopy type theory.type theory

Last revised on September 3, 2018 at 06:03:38. See the history of this page for a list of all contributions to it.