Media Summary: The Curry-Howard correspondence is a deep relationship between logic, computation, and type theory. It views Leo de Moura, Sebastian Ullrich, and Jeremy Avigad join Kevin Hartnett, author of The Pencast for the course Reasoning & Logic offered at Delft University of Technology. Accompanies the open textbook: Delftse ...
Programming Proofs And Proving Programs - Detailed Analysis & Overview
The Curry-Howard correspondence is a deep relationship between logic, computation, and type theory. It views Leo de Moura, Sebastian Ullrich, and Jeremy Avigad join Kevin Hartnett, author of The Pencast for the course Reasoning & Logic offered at Delft University of Technology. Accompanies the open textbook: Delftse ...
