Lectures on the Curry-Howard IsomorphismBy
- Morten Heine Sørensen
- Pawel Urzyczyn
Graduate students, lecturers and researchers in logic and theoretical computer science. Also for graduate students, lecturers and researchers in philosophy and mathematics.
Studies in Logic and the Foundations of Mathematics
Hardbound, 456 Pages
Published: July 2006