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

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
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
11:40
Some thoughts on module systems so far
Iowa Type Theory Commute ·
2021/05/19
en-us
14:04
A look at Agda's module system
Iowa Type Theory Commute ·
2021/05/12
en-us
13:51
Standard ML: the Newmar King-Aire of module systems
Iowa Type Theory Commute ·
2021/05/10
en-us
22:17
A look at Haskell's module system
Iowa Type Theory Commute ·
2021/04/27
en-us
20:38
Let's talk about modules!
Iowa Type Theory Commute ·
2021/04/20
en-us
13:05
Church-style Typing and Intersection Types: Glimpses...
Iowa Type Theory Commute ·
2021/04/12
en-us
13:38
Intersections and Unions in Practice; Failure of Type...
Iowa Type Theory Commute ·
2021/03/22
en-us
10:02
Normal terms are typable with intersection types
Iowa Type Theory Commute ·
2021/03/05
en-us
191 results

Similar Podcasts
Lead With AI
Tamara Nall
Two Blokes Talking Tech
Trevor Long and Stephen Fenech
Best AI papers explained
Enoch H. Kang
ev.news
Martyn Lee
Silicon Champions Tech Transforming Sports