Thu 27 Oct 2011
Homotopy and Directed Type Theory Slides
Posted by Edward Kmett under Boston Haskell , Category Theory , Haskell , Type TheoryNo Comments
As requested, here are the slides from Dan Doel's excellent presentation on Homotopy and Directed Type Theory from this past Monday's Boston Haskell.