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

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
12:24
Natural deduction: or, the bad news!
Iowa Type Theory Commute ·
2021/09/14
en-us
11:37
Implication rules for natural deduction
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
10:16
Reassembling datatypes from functors using a fixed-point
Iowa Type Theory Commute ·
2021/07/11
en-us
13:38
Decomposing datatypes into functors
Iowa Type Theory Commute ·
2021/07/03
en-us
8:50
Modular datatypes: introducing Swierstra's paper...
Iowa Type Theory Commute ·
2021/06/24
en-us
11:51
Modules for Mathematical Theories (MMT)
Iowa Type Theory Commute ·
2021/06/09
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