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

A Measure-Based Proof of Finite Developments

S6 E7 • 23 mins • Apr 16, 2025

É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
Demander une mise à jour
Les mises à jour peuvent prendre quelques minutes.