Type Theory Forall

47 Episodes

1. #26 Mechanizing Modern Mathematics - Kevin Buzzard

   Published: 1/16/2023
2. #25 Formally Verifying the Tezos Codebase - Formal Land

   Published: 11/21/2022
3. #24 The History of Isabelle - Lawrence Paulson

   Published: 10/6/2022
4. #23 What is the SIGPLAN? - Jens Palsberg and Jonathan Aldrich

   Published: 9/24/2022
5. #22 Impredicativity, LEM, Realizability and more - Cody Roux

   Published: 8/12/2022
6. #21 Denotational Design - Conal Elliott

   Published: 8/4/2022
7. #20 Huaweii, String Diagrams, Game Semantics - Dan R. Ghica

   Published: 6/27/2022
8. #19 Experience Report: Learning Coq - Patrick and Supun

   Published: 6/4/2022
9. #18 Gödel's Incompleteness Theorems - Cody Roux

   Published: 5/19/2022
10. #17 The Lost Elegance of Computation - Conal Elliott

    Published: 5/9/2022
11. #16 Agda, K Axiom, HoTT, Rewrite Theory - Jesper Cockx

    Published: 4/2/2022
12. #15 Coq Projects, Agda, Idris, Kind - Nitin and Eric

    Published: 3/27/2022
13. #14 POPL, Parametricity, Scala, DOT - Nitin and Eric

    Published: 2/12/2022
14. #13 C/C++, Emacs, Haskell, and Coq. The Journey - John Wiegley

    Published: 12/23/2021
15. #12 Tenure, Sexism and ADHD - Talia Ringer

    Published: 11/10/2021
16. #11 FP, Monads, GHC, and beyond - Alejandro Serrano

    Published: 10/4/2021
17. #10 Classical Logic vs Intuitionistic Logic - Thorsten Altenkirch and Anupam Das

    Published: 7/15/2021
18. #9 Logic and Proof Theory - Anupam Das

    Published: 5/28/2021
19. #8 Cedille - Chris Jenkins

    Published: 5/11/2021
20. #7 Hacking Isabelle's Internals - Daniel Matichuk

    Published: 4/16/2021