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: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
13:47
Let's talk about Rust
Iowa Type Theory Commute ·
2022/07/10
en-us
16:57
Region-Based Memory Management
Iowa Type Theory Commute ·
2022/06/22
en-us
17:08
Introduction to verified memory management
Iowa Type Theory Commute ·
2022/06/05
en-us
17:19
More on Metamath
Iowa Type Theory Commute ·
2022/05/21
en-us
14:32
Metamath
Iowa Type Theory Commute ·
2022/04/23
en-us
10:36
The Seventeen Provers of the World
Iowa Type Theory Commute ·
2022/04/10
en-us
15:17
More on Lean
Iowa Type Theory Commute ·
2022/03/13
en-us
191 results

Similar Podcasts
Lead With AI
Tamara Nall
Engineering the Intelligent Enterprise
PRASAD BHONDE
Double Tap
Steven Scott, Shaun Preece, Steven...
The Good Tech Companies
HackerNoon
BlockHash
BlockHash LLC