Type Theory Forall

#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

Type Theory Forall

#8 Cedille - Chris Jenkins @ Type Theory Forall

πŸ“† 2021-05-11 04:30 / βŒ› 01:05:42


Type Theory Forall

#8 Cedille - Chris Jenkins @ Type Theory Forall

πŸ“† 2021-05-11 04:30 / βŒ› 01:05:42


Type Theory Forall

#8 Cedille - Chris Jenkins @ Type Theory Forall

πŸ“† 2021-05-11 04:30 / βŒ› 01:05:42


Type Theory Forall

#7 Hacking Isabelle's Internals - Daniel Matichuk @ Type Theory Forall

πŸ“† 2021-04-16 04:15 / βŒ› 01:20:52