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