Category Archives: TCS

A course on Homotopy Type Theory

Posted on 2014/03/09 by Thomas Strathmann

Here’s a link to a course on Homotopy Type Theory taught by Robert Harper at Carnegie Mellon. The first few lectures introduce different views of logic and compution and their relationships. Highly recommended.

Posted in Mathematics, TCS, Uncategorized | Leave a comment

Some resources on functional programming, types, logic, etc.

Posted on 2012/01/22 by Thomas Strathmann

If you’ve got some time to kill I’d suggest heading over to Edsko de Vries’ presentations page where he’s collected a few slides and some notes on topics ranging from linear and separation logic to proof theoretical basics and category … Continue reading →

Posted in Haskell, Mathematics, TCS | 1 Comment