15399, 80317/617
Constructive Logic
Lecture 10: The CurryHoward 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
]
