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

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
11:45
A taste of linear logic
Iowa Type Theory Commute ·
2021/10/22
en-us
12:55
Structural rules, or the Curse of the Bound Variable
Iowa Type Theory Commute ·
2021/10/13
en-us
12:06
Why Cut Elimination is More Complicated than...
Iowa Type Theory Commute ·
2021/10/05
en-us
9:03
Introduction to Cut Elimination
Iowa Type Theory Commute ·
2021/09/29
en-us
12:48
Normalization of detours for implication inferences
Iowa Type Theory Commute ·
2021/09/19
en-us
10:45
Normalization in natural deduction
Iowa Type Theory Commute ·
2021/09/18
en-us
11:58
A Brief Look at Sequent Calculus
Iowa Type Theory Commute ·
2021/09/16
en-us
191 results

Similar Podcasts
Lead With AI
Tamara Nall
Two Blokes Talking Tech
Trevor Long and Stephen Fenech
Pioneers of AI
WaitWhat
The Brave Technologist
Brave Software
The Good Tech Companies
HackerNoon