Aaron Stump

Iowa Type Theory Commute

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.

Listen on Apple Podcasts

Correction: the Correct Author of the Proof from Last Episode, and an AI flop

S6 E9 • 7 mins • May 12, 2025

Épisodes récents

May 12, 2025

Correction: the Correct Author of the Proof from Last Episode, and an AI flop

S6 E9 • 7 mins

May 5, 2025

Krivine's Proof of FD, Using Intersection Types

S6 E8 • 22 mins

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

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