Aaron Stump

Iowa Type Theory Commute

Únete a Aaron Stump mientras comparte ideas sobre teoría de tipos, lógica computacional y más en Ciencias de la Computación, todo en el tiempo que lleva un viaje.

Listen on Apple Podcasts

A Measure-Based Proof of Finite Developments

S6 E7 • 23 mins • Apr 16, 2025

Episodios recientes

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

Idioma
Inglés
País
Estados Unidos
Feed Host
Sitio web
Solicitar una actualización
Las actualizaciones pueden tardar unos minutos.