"Proof Theory Impressionism: Blurring the Curry-Howard Line" by Dan Pittman
34 views
Skip to first unread message
Julian Fondren
Oct 15, 2018, 6:42:55 AM10/15/18
to ats-lang-users
Interesting StrangeLoop video from September: https://www.youtube.com/watch?v=jrVPB-Ad5Gc
The subject of the video: what ties a proof to the program it's proving anything about
Reply all
Reply to author
Forward
0 new messages