Latest episodes of the podcast Iowa Type Theory Commute
Schematic Affine Recursion, Oh My!
22/08/2025
The Stunner: Linear System T is Diverging!
19/08/2025
Terminating Computation First?
01/08/2025
A Measure-Based Proof of Finite Developments
16/04/2025
Nominal Isabelle/HOL
31/01/2025
The Locally Nameless Representation
02/01/2025
POPLmark Reloaded, Part 2
22/12/2024
POPLmark Reloaded, Part 1
22/12/2024
Turing's proof of normalization for STLC
20/05/2024
Introduction to normalization for STLC
13/05/2024
More on basics of simple types
29/04/2024
Begin Chapter on Simple Type Theory
19/04/2024
Some advanced examples in DCS
24/09/2023