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

21:19
On the paper "Types, Abstraction, and Parametric...
Iowa Type Theory Commute ·
2020/11/26
en-us
18:33
Parametric models and representation independence
Iowa Type Theory Commute ·
2020/11/09
en-us
18:30
Explaining my encoding of a HOAS datatype, part 2
Iowa Type Theory Commute ·
2020/11/09
en-us
10:02
Explaining my encoding of a HOAS datatype, part 1
Iowa Type Theory Commute ·
2020/10/19
en-us
14:29
Term models for higher-order signatures
Iowa Type Theory Commute ·
2020/10/19
en-us
10:13
Lambda applicative structures and interpretations of...
Iowa Type Theory Commute ·
2020/10/08
en-us
14:33
The Basic Lemma
Iowa Type Theory Commute ·
2020/09/30
en-us
10:12
Logical relations are not closed under composition
Iowa Type Theory Commute ·
2020/08/31
en-us
10:39
The definition of a logical relation
Iowa Type Theory Commute ·
2020/08/19
en-us
12:29
Introduction to Logical Relations
Iowa Type Theory Commute ·
2020/08/17
en-us
10:15
Lamping's abstract algorithm
Iowa Type Theory Commute ·
2020/07/25
en-us
19:45
Examples showing non-optimality of Haskell
Iowa Type Theory Commute ·
2020/07/15
en-us
22:22
Lambda graphs with duplicators and start of Lamping's...
Iowa Type Theory Commute ·
2020/07/03
en-us
16:06
Duplicating redexes as the central problem of optimal...
Iowa Type Theory Commute ·
2020/06/21
en-us
16:46
Introduction to optimal beta reduction
Iowa Type Theory Commute ·
2020/06/16
en-us
11:17
Lexicographic termination
Iowa Type Theory Commute ·
2020/06/03
en-us
15:20
Well-founded recursion
Iowa Type Theory Commute ·
2020/05/19
en-us
10:35
Mendler-style iteration
Iowa Type Theory Commute ·
2020/05/19
en-us
18:37
Compositional termination checking with sized types
Iowa Type Theory Commute ·
2020/03/30
en-us
13:03
Noncompositionality of syntactic structural-recursion...
Iowa Type Theory Commute ·
2020/03/20
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