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

8:36
Functional encodings turning the world inside out
Iowa Type Theory Commute ·
2020/02/11
en-us
11:40
More benefits of lambda encodings
Iowa Type Theory Commute ·
2020/02/07
en-us
13:52
Introduction to lambda encodings
Iowa Type Theory Commute ·
2020/02/07
en-us
14:17
Adding a top type and allowing non-normalizing terms
Iowa Type Theory Commute ·
2020/02/05
en-us
10:39
Intersection types using Curry-style typing
Iowa Type Theory Commute ·
2020/02/04
en-us
13:06
Curry-style versus Church-style, and the nature of...
Iowa Type Theory Commute ·
2020/01/30
en-us
15:54
More on Computation First, and Basic Idea of...
Iowa Type Theory Commute ·
2020/01/29
en-us
12:40
Types should be erased for executing and reasoning...
Iowa Type Theory Commute ·
2020/01/29
en-us
12:25
Why go beyond GADTs?
Iowa Type Theory Commute ·
2020/01/24
en-us
15:57
GADTs for programming with representations of types
Iowa Type Theory Commute ·
2020/01/22
en-us
14:35
Using GADTs for typed subsetting of your language
Iowa Type Theory Commute ·
2020/01/20
en-us
10:54
Example of programming with indexed types: binary...
Iowa Type Theory Commute ·
2020/01/16
en-us
11:49
Programming with indexed types using singletons
Iowa Type Theory Commute ·
2020/01/16
en-us
14:18
Limitations of indexed types that are not truly...
Iowa Type Theory Commute ·
2020/01/14
en-us
12:02
Programming with Indexed Types
Iowa Type Theory Commute ·
2020/01/13
en-us
10:57
Program Termination and the Curry-Howard Isomorphism
Iowa Type Theory Commute ·
2020/01/10
en-us
14:09
Why Curry-Howard for classical proofs is a bad idea...
Iowa Type Theory Commute ·
2020/01/07
en-us
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
180 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