archives

Lectures on the Curry-Howard Isomorphism

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

Anyone see this? I'd be glad to know more about this book.

By Ehud Lamm at 2006-09-20 07:41 | LtU Forum | 15 comments | other blogs | 16027 reads