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.