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.

More On Higher Inductive Types.pdf

Size: 13.27 MB · Format: PDF · Secure Download

Download PDF Read Online

Related Documents