1 of 3

2 of 3

CSE 505

Lecture 17:

Curry Howard

Fall 2015

3 of 3

Synopsis

Final Posted “Real Soon Now”

Wednesday Reading: CompCert!

Today: The Curry Howard Isomorphism