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

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
13:26
Separation Logic 1
Iowa Type Theory Commute ·
2022/07/25
en-us
178 results

Similar Podcasts
Pantomath
PANTOMATH
What"s New
WIRED
Security, Spoken
WIRED
Ben Wehrman Podcast
Ben Wehrman
MacMagazine no Ar
MacMagazine.com.br