discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Lobsters
CMU 819 Homotopy type theory - Course Introduction
https://scs.hosted.panopto.com/Panopto/Pages/Viewer.aspx?id=0945cc7f-48b7-4803-81af-e7193a3f461d
7 comments
4/7/2023
formalmethods , math , plt
Reddit
Homotopy Type Theory Lectures by Bob Harper
http://scs.hosted.panopto.com/panopto/pages/sessions/list.aspx#folderid=%2207756bb0-b872-4a4a-95b1-b77ad206dab3%22
67 comments
9/1/2014
haskell