Thank you for putting these up. I've been interested in working through this course using the materials on CMU class website (the URL is being filtered; just search for "15-816 Linear Logic"), but the platform they're using to host the lecture videos is TERRIBLE and buffers constantly.
Is there a better quality recording?
Starts at 15:25
his handwriting is so satisfying...
Thank you very much!!! excellent lecture!!!
Thank you for putting these up. I've been interested in working through this course using the materials on CMU class website (the URL is being filtered; just search for "15-816 Linear Logic"), but the platform they're using to host the lecture videos is TERRIBLE and buffers constantly.
I wonder why he does not mention quantum mechanics as one of the applications of linear logic. Any ideas?