Junte-se a Aaron Stump enquanto ele compartilha insights sobre teoria dos tipos, lógica computacional e mais em Ciência da Computação, tudo dentro do tempo que leva para se deslocar.
Schematic Affine Recursion, Oh My!
S6 E12 • 19 mins • Aug 22, 2025
Charts
This show is not currently ranked in any charts.
Episódios recentes
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
Website
Feed
Solicitar uma atualização
As atualizações podem levar alguns minutos.