LEC PAT 3

Sørensen (2006) Chapter 2

---

References

Sørensen, M. H. (2006). Lectures on the Curry-Howard Isomorphism (1st ed). Elsevier Science & Technology.