#34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke

Type Theory Forall - En podkast av Pedro Abreu

Prøv Podimo gratis i hele 30 dager!

I Podimo finner du eksklusive podkaster og bestselgende lydbøker tilpasset dine ører

Reklame

Kategorier:

Teknologi

Andrew Marmaduke is a PhD Candidate from the University of Iowa, he works under Aaron Stump and has been working on revamping the theorem prover Cedille 2. In this episode we tackle fundamental questions about the foundations of the theorem provers, Cedille and Cedille 2. Links Andrew’s Website AndrasKovacs’ Smalltt Failure of Normalization in Impredicative Type Theory with Proof-Irrelevant Propositional Equality Impredicative Encodings of (Higher) Inductive Types

Visit the podcast's native language site