Category Archives: TCS

A course on Homotopy Type Theory

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.

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