Lecture

Propositions as Types: Logic and Programming Correspondence