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:26
Separation Logic 1
Iowa Type Theory Commute ·
2022/07/25
en-us
13:47
Let's talk about Rust
Iowa Type Theory Commute ·
2022/07/10
en-us
16:57
Region-Based Memory Management
Iowa Type Theory Commute ·
2022/06/22
en-us
17:08
Introduction to verified memory management
Iowa Type Theory Commute ·
2022/06/05
en-us
17:19
More on Metamath
Iowa Type Theory Commute ·
2022/05/21
en-us
14:32
Metamath
Iowa Type Theory Commute ·
2022/04/23
en-us
10:36
The Seventeen Provers of the World
Iowa Type Theory Commute ·
2022/04/10
en-us
15:17
More on Lean
Iowa Type Theory Commute ·
2022/03/13
en-us
14:52
The Lean Prover
Iowa Type Theory Commute ·
2022/02/28
en-us
16:14
More on Isabelle, and the Complexity of ITPs
Iowa Type Theory Commute ·
2022/02/17
en-us
16:54
Isabelle/HOL
Iowa Type Theory Commute ·
2022/01/28
en-us
13:03
More on Agda
Iowa Type Theory Commute ·
2022/01/13
en-us
15:24
A look at Agda
Iowa Type Theory Commute ·
2022/01/10
en-us
18:28
More reflections on Coq
Iowa Type Theory Commute ·
2021/12/31
en-us
15:03
The Coq Proof Assistant
Iowa Type Theory Commute ·
2021/12/29
en-us
11:58
Introduction to Interactive Theorem Provers
Iowa Type Theory Commute ·
2021/12/17
en-us
14:10
The proof-theoretic ordinal of Peano Arithmetic is...
Iowa Type Theory Commute ·
2021/12/11
en-us
12:14
The proof-theoretic ordinal of a logical theory
Iowa Type Theory Commute ·
2021/11/21
en-us
14:37
Introduction to Ordinal Analysis
Iowa Type Theory Commute ·
2021/11/17
en-us
11:24
An analogy for multiplicative disjunction
Iowa Type Theory Commute ·
2021/11/03
en-us
179 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