-
Recent Posts
Archives
Categories
May 2022 M T W T F S S 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 Meta
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