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

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
11:37
Implication rules for natural deduction
Iowa Type Theory Commute ·
2021/09/14
en-us
12:24
Natural deduction: or, the bad news!
Iowa Type Theory Commute ·
2021/09/14
en-us
12:10
Natural Deduction
Iowa Type Theory Commute ·
2021/09/12
en-us
12:45
Rules of proof, standard proof systems
Iowa Type Theory Commute ·
2021/09/09
en-us
12:02
Different proof systems, distinguishing logical rules...
Iowa Type Theory Commute ·
2021/09/02
en-us
18:17
Introduction to Proof Theory (Start of Season 3)
Iowa Type Theory Commute ·
2021/08/31
en-us
11:29
Modula-2
Iowa Type Theory Commute ·
2021/07/28
en-us
11:54
Decomposing recursions using algebras
Iowa Type Theory Commute ·
2021/07/13
en-us
183 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