Google, IBM & Meta Certificates – 40% Off
One Coursera Plus subscription covers most Professional Certificates on Coursera.
Unlock All Certificates
This course explains how propositions correspond to types and proofs to programs, tracing the idea through logic, lambda calculus, type theory, theorem proving, and functional programming. It also considers the historical and philosophical foundations of the connection.
