Lectures on the Curry-Howard Isomorphism

Lectures on the Curry-Howard Isomorphism

Lectures on the Curry-Howard Isomorphism

By

Morten Heine B. Sørensen,

Paweł Urzyczyn

By

Morten Heine B. Sørensen,

Paweł Urzyczyn

2006 • 442 pages

Ratings1

Average rating5

15

Filter by rating

-

There are no reviews for this book.

Community

Readers & Supporters

Join Our Discord

Follow Along

Blog Hardcover Live About Hardcover Request a feature

We're an Open Book

Frequently Asked Questions Contact Support Roadmap Our Policies