Google, IBM & Meta Certificates – 40% Off
One Coursera Plus subscription covers most Professional Certificates on Coursera.
Unlock All Certificates
This presentation explores connections between type theory, programming, and mathematics. It introduces equalities, natural numbers, dependent and identity types, induction, and the Curry–Howard correspondence.
