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

16:29
Structural termination
Iowa Type Theory Commute ·
2020/03/17
en-us
12:12
Proving Confluence for Untyped Lambda Calculus II
Iowa Type Theory Commute ·
2020/03/13
en-us
11:48
Proving Confluence for Untyped Lambda Calculus I
Iowa Type Theory Commute ·
2020/03/13
en-us
15:05
Confluence, and its use for conversion checking
Iowa Type Theory Commute ·
2020/03/11
en-us
14:43
Normalization and logical consistency
Iowa Type Theory Commute ·
2020/03/09
en-us
16:28
Normalization in type theory: where it is needed, and...
Iowa Type Theory Commute ·
2020/03/06
en-us
12:47
Introduction to normalization
Iowa Type Theory Commute ·
2020/03/06
en-us
13:07
Proving type safety; upcoming metatheoretic properties
Iowa Type Theory Commute ·
2020/03/04
en-us
10:13
The progress property and the problem of axioms in...
Iowa Type Theory Commute ·
2020/03/04
en-us
14:17
Introduction to type safety
Iowa Type Theory Commute ·
2020/03/02
en-us
11:54
Introduction to metatheory
Iowa Type Theory Commute ·
2020/02/28
en-us
15:52
Definition of the Mendler encoding
Iowa Type Theory Commute ·
2020/02/26
en-us
10:59
The Mendler encoding and the problem of explicit...
Iowa Type Theory Commute ·
2020/02/25
en-us
16:02
The Scott encoding
Iowa Type Theory Commute ·
2020/02/24
en-us
11:32
More on the Parigot encoding
Iowa Type Theory Commute ·
2020/02/22
en-us
11:35
Introduction to the Parigot encoding
Iowa Type Theory Commute ·
2020/02/18
en-us
11:55
Church-encoding natural numbers
Iowa Type Theory Commute ·
2020/02/17
en-us
10:56
Church encoding of lists
Iowa Type Theory Commute ·
2020/02/15
en-us
11:21
Church encoding of the booleans
Iowa Type Theory Commute ·
2020/02/15
en-us
10:13
Introduction to Church encoding
Iowa Type Theory Commute ·
2020/02/12
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