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