Taylor's Library

Your search returned 2 results.

Not what you expected? Check for suggestions
Unhighlight Highlight
|
No cover image available
Lectures on the Curry-Howard isomorphism [electronic resource] / Morten Heine Sørensen, Paweł Urzyczyn.

by Sørensen, Morten Heine | Urzyczyn, Paweł | ebrary, Inc.

Edition: 1st ed.Publisher: Amsterdam ; Boston [MA] : Elsevier, 2006Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: [Call number: 511.3/26] (1).
Place hold
The lambda calculus : its syntax and semantics / H.P. Barendregt

by Barendregt, H. P. (Hendrik Pieter).

Edition: Rev. ed.Publisher: Amsterdam : Elsevier Science B.V., c1984Availability: Items available for loan: Taylor's Library-TU [Call number: 511.3 BAR] (1).
Place hold