Homotopy Type Theory
proof theoretic strength of univalent type theory plus HITs (history)
Skip the Navigation Links
|
Home Page
|
All Pages
|
Latest Revisions
|
Authors
|
January 15, 2015
Current
(
diff
)
by
Ulrik Buchholtz
on January 15, 2015 at 20:44:12 from 128.237.222.178.
January 12, 2015
Revision 1
by
Bas Spitters
on January 12, 2015 at 19:27:53 from 128.2.159.6.