Ú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.
Schematic Affine Recursion, Oh My!
S6 E12 • 19 mins • Aug 22, 2025
Charts
This show is not currently ranked in any charts.
Episodios recientes
Aug 22, 2025
Schematic Affine Recursion, Oh My!
S6 E12 • 19 mins
Aug 19, 2025
The Stunner: Linear System T is Diverging!
S6 E11 • 21 mins
Aug 1, 2025
Terminating Computation First?
S6 E10 • 11 mins
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
Idioma
Inglés
País
Estados Unidos
Feed Host
Sitio web
Feed
Solicitar una actualización
Las actualizaciones pueden tardar unos minutos.