Lectures on the Curry-Howard Isomorphism
Lectures on the Curry-Howard Isomorphism PDF book is popular Mathematics book written by Morten Heine Sørensen. The book was released by Elsevier on 2006-07-04 with total hardcover pages 457. Fast download link is given in this page, you could read Lectures on the Curry-Howard Isomorphism by Morten Heine Sørensen in PDF, epub and kindle directly from your devices.
Lectures on the Curry-Howard Isomorphism
-
Lectures on the Curry-Howard Isomorphism Book Detail
- Author : Morten Heine Sørensen
- Release Date : 2006-07-04
- Publisher : Elsevier
- Genre : Mathematics
- Pages : 457
- ISBN 13 : 0080478921
- File Size : 37,37 MB