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

The Curry-Howard Isomorphism for Induction 31/12/2019
Constructive proofs as programs 21/12/2019
Introduction to the Curry-Howard Isomorphism 20/12/2019
Functors and catamorphisms 20/12/2019
Structured Recursion Schemes for Point-Free Recursion 18/12/2019
More on point-free programming and category theory 17/12/2019
Point-free programming and category theory 17/12/2019
Concise code through point-free programming 13/12/2019
More on FP and concise code 12/12/2019
Functional Programming and Concise Code: Type Inference 12/12/2019
Introduction to Functional Programming 11/12/2019
Software Engineering Considerations for Formal Methods 01/12/2019
Power of Computer-Checked Proofs for Software 30/11/2019
Technical reasons for lack of adoption of computer-checked proofs 28/11/2019
Why Computer-Checked Proofs are Not Used More in Mathematics 27/11/2019
Computer-Checked Proofs in American Research 26/11/2019
Computer-checked proofs about software 23/11/2019
More on Computer-Checked Proofs 22/11/2019
Computer-checked proofs 21/11/2019
« Primera ‹ Anterior 1 ... 7 8 9
© 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