15-399, 80-317/617
Constructive Logic
Lecture 10: The Curry-Howard Isomorphism
We devolop the isomorphism between proofs and programs, and discuss the notion of reduction, which is the basis of an operational semantics for the small programming language.
[ Home
| Schedule
| Assignments
| Handouts
| Software
| Overview
]
|