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: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
12:00
Linear conjunctions and disjunctions
Iowa Type Theory Commute ·
2021/10/29
en-us
178 results

Similar Podcasts
Pantomath
PANTOMATH
What"s New
WIRED
Security, Spoken
WIRED
Ben Wehrman Podcast
Ben Wehrman
MacMagazine no Ar
MacMagazine.com.br