Rejoignez Aaron Stump alors qu'il partage des idées sur la théorie des types, la logique computationnelle et plus encore en informatique, le tout dans le temps d'un trajet.
A Measure-Based Proof of Finite Developments
S6 E7 • 23 mins • Apr 16, 2025
Charts
- 181NEW
- 188Decreased by 19
- 108NEW
- 50NEW
- 118Decreased by 16
Épisodes récents

Apr 16, 2025
A Measure-Based Proof of Finite Developments
S6 E7 • 23 mins

Mar 27, 2025
Introduction to the Finite Developments Theorem
S6 E6 • 16 mins

Jan 31, 2025
Nominal Isabelle/HOL
S6 E5 • 16 mins

Jan 3, 2025
The Locally Nameless Representation
S6 E4 • 20 mins

Dec 23, 2024
POPLmark Reloaded, Part 1
S6 E2 • 15 mins

Langue
Anglais
Pays
États-Unis
Feed Host
Site web
Flux
Demander une mise à jour
Les mises à jour peuvent prendre quelques minutes.