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 from 5.151.177.224.
February 16, 2019
Revision 13
(
diff
)
by
Leo
?
on February 16, 2019 at 08:39:32 from 193.240.102.210.
January 10, 2019
Revision 12
(
diff
)
by
Ali Caglayan
on January 10, 2019 at 07:17:58 from 81.187.255.239.
December 25, 2018
Revision 11
(
diff
)
by
Ali Caglayan
on December 25, 2018 at 07:15:42 from 82.132.187.136.
December 24, 2018
Revision 10
(
diff
)
by
Ali Caglayan
on December 24, 2018 at 18:44:09 from 81.141.255.67.
December 10, 2018
Revision 9
(
diff
)
by
Tim Porter
?
on December 10, 2018 at 07:47:37 from 95.151.216.52.
December 7, 2018
Revision 8
(
diff
)
by
Ali Caglayan
on December 7, 2018 at 13:37:28 from 138.38.63.121.
Revision 7
(
diff
)
by
Ali Caglayan
on December 7, 2018 at 11:04:32 from 138.38.63.121.
Revision 6
(
diff
)
by
Urs Schreiber
on December 7, 2018 at 09:50:30 from 195.229.110.1.
Revision 5
(
diff
)
by
Ali Caglayan
on December 7, 2018 at 09:37:16 from 138.38.163.197.
Revision 4
(
diff
)
by
Urs Schreiber
on December 7, 2018 at 09:12:14 from 195.229.110.1.
Revision 3
(
diff
)
by
Ali Caglayan
on December 7, 2018 at 07:00:16 from 138.38.63.149.
Revision 2
(
diff
)
by
Urs Schreiber
on December 7, 2018 at 02:16:12 from 2.50.140.70.
December 6, 2018
Revision 1
by
Ali Caglayan
on December 6, 2018 at 18:15:30 from 2a01:388:2e9:110::1:5.