## Lectures on the Curry-Howard Isomorphism

Apparently there's a new book version of these excellent lecture notes.

## Comment viewing options

The link seems to be dead, but this one seems to be what you were referring to: http://citeseer.ist.psu.edu/519604.html

### Website Reorg

With a bit of digging, I found it here.