Exploring Towards Higher Inductive Types
Exploring Towards Higher Inductive Types reveals several interesting facts.
- Garbage Collection for
- Peter Lumsdaine Dalhousie University; Member, School of Mathematics October 1, 2012 For more videos, visit ...
- CSCI 8980
- Semantics of
- Homotopy
In-Depth Information on Towards Higher Inductive Types
Professor James Wilson introduces some motives for 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 more videos, visit ... Homotopy
Paper and supplementary material: ...
Stay tuned for more updates related to Towards Higher Inductive Types.
