Homotopy Type Theory
semi-simplicial types (history)
Skip the Navigation Links
|
Home Page
|
All Pages
|
Latest Revisions
|
Authors
|
February 12, 2017
Current
(
diff
)
by
Anonymous
?
on February 12, 2017 at 00:00:28 from 189.26.197.17.
June 17, 2015
Revision 3
(
diff
)
by
Anonymous Coward
?
on June 17, 2015 at 18:36:03 from 66.168.25.22.
March 6, 2014
Revision 2
(
diff
)
by
Alexis Hazell
?
on March 6, 2014 at 19:46:46 from 118.209.38.145.
Revision 1
by
Mike Shulman
on March 6, 2014 at 15:41:29 from 108.225.238.144.