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

9:56
Arithmetic operations in simply typed lambda calculus
Iowa Type Theory Commute ·
2024/05/04
en-us
15:45
More on basics of simple types
Iowa Type Theory Commute ·
2024/04/29
en-us
15:41
Begin Chapter on Simple Type Theory
Iowa Type Theory Commute ·
2024/04/19
en-us
23:16
Some advanced examples in DCS
Iowa Type Theory Commute ·
2023/09/25
en-us
19:45
DCS compared to termination checkers for type theories
Iowa Type Theory Commute ·
2023/09/19
en-us
17:23
Getting started with DCS
Iowa Type Theory Commute ·
2023/09/10
en-us
11:36
Introduction to DCS
Iowa Type Theory Commute ·
2023/09/04
en-us
15:20
Semantics of subtyping
Iowa Type Theory Commute ·
2023/07/24
en-us
9:06
More on type inference for simple subtypes
Iowa Type Theory Commute ·
2023/07/16
en-us
9:13
Subtyping, the golden key
Iowa Type Theory Commute ·
2023/07/09
en-us
13:27
Type inference with simple subtypes
Iowa Type Theory Commute ·
2023/06/30
en-us
8:05
Basics of subtyping
Iowa Type Theory Commute ·
2023/06/21
en-us
16:15
Begin chapter on subtyping
Iowa Type Theory Commute ·
2023/06/21
en-us
12:15
Last episode discussing Observational Equality Now...
Iowa Type Theory Commute ·
2023/04/13
en-us
13:43
More on observational type theory
Iowa Type Theory Commute ·
2023/03/23
en-us
10:10
Introduction to Observational Type Theory
Iowa Type Theory Commute ·
2023/03/06
en-us
12:24
Interjection: The Liquid Tensor Experiment
Iowa Type Theory Commute ·
2023/03/02
en-us
11:23
Extensional Martin-Loef Type Theory
Iowa Type Theory Commute ·
2023/02/04
en-us
10:27
Begin chapter on extensionality
Iowa Type Theory Commute ·
2023/01/25
en-us
17:01
Papers from Formal Methods for Blockchains 2021
Iowa Type Theory Commute ·
2023/01/01
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