Jun 17, 2026 · 33 min · 11 segments
Dana Scott: Turing Award Winner on Logic & Computation Your support helps us keep these conversations going! If you’d like to contribute, you can buy us a coffee here…
Dana ScottGuest
Thorsten AltenkirchHostDeniz SarikayaHostUm, yeah, I wanted to start with, uh, something about the anti-lambda calculus.
But then you, you, you, you did find one, and maybe you can say a little bit more about this.
Um, yeah, I wanted to start with, uh, something about the anti-lambda calculus.
But then you, you, you, you did find one, and maybe you can say a little bit more about this.
The rest of this transcript — segmented and speaker-labeled, so you land on the exact moment something was said
Search every transcript — by keyword, by phrase, or by meaning, across every show Radar indexes
Trends — what is surging across podcasts, measured against its own baseline
Alerts — when a name you follow appears in a newly indexed episode
No account is needed to search Radar.
