Homotopy Type Theory
Eric Finster, Towards Higher Universal Algebra in Type Theory (history)
Skip the Navigation Links
|
Home Page
|
All Pages
|
Latest Revisions
|
Authors
|
March 16, 2019
Current
(
diff
)
by
Ali Caglayan
on March 16, 2019 at 19:46:08.
February 16, 2019
Revision 13
(
diff
)
by
Leo
?
on February 16, 2019 at 08:39:32.
January 10, 2019
Revision 12
(
diff
)
by
Ali Caglayan
on January 10, 2019 at 07:17:58.
December 25, 2018
Revision 11
(
diff
)
by
Ali Caglayan
on December 25, 2018 at 07:15:42.
December 24, 2018
Revision 10
(
diff
)
by
Ali Caglayan
on December 24, 2018 at 18:44:09.
December 10, 2018
Revision 9
(
diff
)
by
Tim Porter
?
on December 10, 2018 at 07:47:37.
December 7, 2018
Revision 8
(
diff
)
by
Ali Caglayan
on December 7, 2018 at 13:37:28.
Revision 7
(
diff
)
by
Ali Caglayan
on December 7, 2018 at 11:04:32.
Revision 6
(
diff
)
by
Urs Schreiber
on December 7, 2018 at 09:50:30.
Revision 5
(
diff
)
by
Ali Caglayan
on December 7, 2018 at 09:37:16.
Revision 4
(
diff
)
by
Urs Schreiber
on December 7, 2018 at 09:12:14.
Revision 3
(
diff
)
by
Ali Caglayan
on December 7, 2018 at 07:00:16.
Revision 2
(
diff
)
by
Urs Schreiber
on December 7, 2018 at 02:16:12.
December 6, 2018
Revision 1
by
Ali Caglayan
on December 6, 2018 at 18:15:30.