#9 Logic and Proof Theory - Anupam Das
Type Theory Forall
In this episode I interview Anupam Das we have a nice conversation on the historical perspective of how Logic and Proof Theory as we know today came about in the 30βs. The differences between Natural Deduction and Sequent Calculus, Cut Elimination and much more.
Links
Next Episodes
#8 Cedille - Chris Jenkins @ Type Theory Forall
π 2021-05-11 04:30 / β 01:05:42
#7 Hacking Isabelle's Internals - Daniel Matichuk @ Type Theory Forall
π 2021-04-16 04:15 / β 01:20:52
#6 All The Dumb Questions on Gradual Types - Zeina Migeed @ Type Theory Forall
π 2021-03-29 06:00 / β 00:39:13
#5 The History of Coq'Art - Yves Bertot @ Type Theory Forall
π 2021-02-27 05:00 / β 01:11:45
#4 Theorem Provers, Functional Programming and Companies - Eric Bond @ Type Theory Forall
π 2021-02-15 05:00 / β 01:14:22