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

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
15:34
Mi-Cho-Coq: Michelson formalized and applied, in Coq
Iowa Type Theory Commute ·
2022/12/02
en-us
14:24
Verification of Tezos smart contracts with K-Michelson
Iowa Type Theory Commute ·
2022/11/11
en-us
10:58
Start of Season 4: Formal Methods for Blockchain
Iowa Type Theory Commute ·
2022/11/07
en-us
11:52
Separation Logic II: recursive predicates
Iowa Type Theory Commute ·
2022/09/16
en-us
179 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