Iowa Type Theory Commute

Iowa Type Theory Commute

Por: Aaron Stump
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
179 episodios disponibles

Latest episodes of the podcast Iowa Type Theory Commute

Mostrando página 3 de 9

Separation Logic 1 24/07/2022
Let's talk about Rust 09/07/2022
Region-Based Memory Management 21/06/2022
Introduction to verified memory management 04/06/2022
More on Metamath 20/05/2022
Metamath 23/04/2022
The Seventeen Provers of the World 09/04/2022
More on Lean 12/03/2022
The Lean Prover 27/02/2022
More on Isabelle, and the Complexity of ITPs 16/02/2022
Isabelle/HOL 27/01/2022
More on Agda 12/01/2022
A look at Agda 09/01/2022
More reflections on Coq 31/12/2021
The Coq Proof Assistant 28/12/2021
Introduction to Interactive Theorem Provers 16/12/2021
The proof-theoretic ordinal of Peano Arithmetic is Epsilon-0 10/12/2021
The proof-theoretic ordinal of a logical theory 20/11/2021
Introduction to Ordinal Analysis 16/11/2021
An analogy for multiplicative disjunction 03/11/2021
« Primera ‹ Anterior 1 2 3 4 5 ... 9 Siguiente › Última »
© 2003-2026 ZARZA | AHEAD OF OUR TIME
privacy policy
In God we trust In God we trust
PreSales Questions? Click Here
or call our toll-free line at +1-888-5002068 Miami, Florida, USA