Lectures on the Curry-Howard Isomorphism

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 online

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
E-Books	VJEC Central Library		Not for loan

There are no comments on this title.

to post a comment.