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.
Correction: the Correct Author of the Proof from Last Episode, and an AI flop
S6 E9 • 7 mins • May 12, 2025
Charts
- 184NEW
- 45NEW
Episodi recenti

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

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

Lingua
Inglese
Paese
Stati Uniti
Feed Host
Sito web
Feed
Richiedi un aggiornamento
Gli aggiornamenti potrebbero richiedere alcuni minuti.