We're in beta. Stay tuned for updates.x
Loading...
PODCAST

Iowa Type Theory Commute

Aaron Stump
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
technology mathematics

All Episodes

13:33
Computer-Checked Proofs in American Research
Iowa Type Theory Commute ·
2019/11/26
en-us
8:02
Computer-checked proofs about software
Iowa Type Theory Commute ·
2019/11/24
en-us
13:41
More on Computer-Checked Proofs
Iowa Type Theory Commute ·
2019/11/22
en-us
14:06
Computer-checked proofs
Iowa Type Theory Commute ·
2019/11/21
en-us
184 results

Similar Podcasts
Lead With AI
Tamara Nall
Linux in the Ham Shack
Black Sparrow Media
Data Engineering Podcast
Tobias Macey
Eye On A.I.
Craig S. Smith
Reflections
Livewire Labs