Exploring More On Higher Inductive Types
Exploring More On Higher Inductive Types reveals several interesting facts.
- Professor James Wilson introduces some motives for
- Michael Shulman University of California, San Diego; Member, School of Mathematics November 14, 2012 For
- Semantics of
- Homotopy
- Paper and supplementary material: ...
In-Depth Information on More On Higher Inductive Types
CSCI 8980 Homotopy For course material, see http://www.cs.cmu.edu/~rwh/courses/hott/ Lecture notes: ... Peter Lumsdaine Dalhousie University; Member, School of Mathematics October 1, 2012 For
Homotopy
Stay tuned for more updates related to More On Higher Inductive Types.