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

11:58
Curry-Howard for classical logic
Iowa Type Theory Commute ·
2020/01/06
en-us
9:57
Dependent types and design by contract
Iowa Type Theory Commute ·
2020/01/04
en-us
9:14
Indexed types and Curry-Howard for first-order...
Iowa Type Theory Commute ·
2020/01/03
en-us
13:25
The Curry-Howard Isomorphism for Propositional Logic
Iowa Type Theory Commute ·
2020/01/02
en-us
11:45
The Curry-Howard Isomorphism for Induction
Iowa Type Theory Commute ·
2019/12/31
en-us
9:47
Constructive proofs as programs
Iowa Type Theory Commute ·
2019/12/22
en-us
12:54
Functors and catamorphisms
Iowa Type Theory Commute ·
2019/12/20
en-us
15:44
Introduction to the Curry-Howard Isomorphism
Iowa Type Theory Commute ·
2019/12/20
en-us
12:30
Structured Recursion Schemes for Point-Free Recursion
Iowa Type Theory Commute ·
2019/12/19
en-us
13:11
More on point-free programming and category theory
Iowa Type Theory Commute ·
2019/12/17
en-us
6:32
Point-free programming and category theory
Iowa Type Theory Commute ·
2019/12/17
en-us
6:31
Concise code through point-free programming
Iowa Type Theory Commute ·
2019/12/13
en-us
9:56
More on FP and concise code
Iowa Type Theory Commute ·
2019/12/12
en-us
9:07
Functional Programming and Concise Code: Type Inference
Iowa Type Theory Commute ·
2019/12/12
en-us
7:52
Introduction to Functional Programming
Iowa Type Theory Commute ·
2019/12/11
en-us
16:13
Software Engineering Considerations for Formal Methods
Iowa Type Theory Commute ·
2019/12/02
en-us
11:47
Power of Computer-Checked Proofs for Software
Iowa Type Theory Commute ·
2019/12/01
en-us
10:10
Technical reasons for lack of adoption of...
Iowa Type Theory Commute ·
2019/11/28
en-us
9:48
Why Computer-Checked Proofs are Not Used More in...
Iowa Type Theory Commute ·
2019/11/27
en-us
13:33
Computer-Checked Proofs in American Research
Iowa Type Theory Commute ·
2019/11/26
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