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 7 de 9

Proving Confluence for Untyped Lambda Calculus II 13/03/2020
Proving Confluence for Untyped Lambda Calculus I 13/03/2020
Confluence, and its use for conversion checking 11/03/2020
Normalization and logical consistency 09/03/2020
Normalization in type theory: where it is needed, and where not 06/03/2020
Introduction to normalization 05/03/2020
Proving type safety; upcoming metatheoretic properties 04/03/2020
The progress property and the problem of axioms in type theory 03/03/2020
Introduction to type safety 02/03/2020
Introduction to metatheory 28/02/2020
Definition of the Mendler encoding 26/02/2020
The Mendler encoding and the problem of explicit recursion 25/02/2020
The Scott encoding 24/02/2020
More on the Parigot encoding 21/02/2020
Introduction to the Parigot encoding 18/02/2020
Church-encoding natural numbers 17/02/2020
Church encoding of lists 14/02/2020
Church encoding of the booleans 14/02/2020
Introduction to Church encoding 11/02/2020
Functional encodings turning the world inside out 11/02/2020
« Primera ‹ Anterior 1 ... 5 6 7 8 9 Siguiente › Última »
© 2003-2025 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