Lectures on the Curry-Howard Isomorphism
Material type: TextLanguage: English Series: Studies in Logic and the Foundations of MathematicsPublication details: Elsevier Science 2006 Edition: 1st edISBN: 9780080478920Subject(s): Curry-Howard isomorphism.,Lambda calculus.,Proof theory | MATHEMATICS / LogicDDC classification: 511.3/26 LOC classification: QA9.54 .S67 2006ebOnline resources: Click here to access onlineItem type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
E-Books | VJEC Central Library | Not for loan |
There are no comments on this title.