Lambda-Calculus and Combinators An Introduction Hiudley J.Roger

By:

Material type: Text

TextPublication details: UK CUP 2008Description: ix,345pISBN:

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
Books	Library and Documentation Division	511.35 H586L (Browse shelf(Opens below))	Available		076562

Previous	No cover image available				No cover image available			Next
Previous	511.33 T53T-2 A theory of functions	511.33 T685 Transformation groups	511.35 G541I Introducing the theory of computation	511.35 H586L Lambda-Calculus and Combinators	511.35 Sm53 R A recursive introduction to the theory of computation	511.352 B644C-5 Computability and Logic	511.352 K849T Theory of computation	Next

There are no comments on this title.

to post a comment.