# Lectures on the Curry-Howard isomorphism by Morten Heine Sørensen

Lectures on the Curry-Howard isomorphism by Morten Heine Sørensen is available to buy at Bookshop.org.

- Author: Morten Heine Sørensen
- Publisher: Elsevier
- Pages: 442
- ISBN-13: 9780444520777
- Category: More Books Books

## Where to buy

- Bookshop.org: see price at store · https://madlime.com/go/635867-635867

[Live page](https://madlime.com/product/lectures-on-the-curry-howard-isomorphism-635867)

---
Madlime (https://madlime.com) · US price comparison · AI guide: https://madlime.com/llms.txt