Unisciti ad Aaron Stump mentre condivide approfondimenti sulla teoria dei tipi, la logica computazionale e altro ancora in Informatica, tutto nel tempo necessario per il tragitto.
Schematic Affine Recursion, Oh My!
S6 E12 • 19 mins • Aug 22, 2025
Charts
This show is not currently ranked in any charts.
Episodi recenti
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
Lingua
Inglese
Paese
Stati Uniti
Feed Host
Sito web
Feed
Richiedi un aggiornamento
Gli aggiornamenti potrebbero richiedere alcuni minuti.