Lambda-Calculus and combinators: an introduction

By:

Contributor(s):

Material type: Text

TextLanguage: English Series: Publication details: Cambridge University Press 2008Edition: Description: xi, 345pISBN:

Subject(s):

DDC classification:

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	Copy number	Status	Barcode
Books	Central Library	511.35 HIN(LAM) (Browse shelf(Opens below))	1	Available	8623

Total holds: 0

Previous	No cover image available							Next
Previous	511.35 ASH(AUT) Automata studies	511.35 FEN(GEN) General recursion theory : an axiomatic approach	511.35 HAD(CEL) Cellular automata : analysis and applications	511.35 HIN(LAM) Lambda-Calculus and combinators: an introduction	511.35 MAR(INT) Introduction to languages and the theory of computation	511.352 BRI(COM) Computability : a mathematical sketchbook	511.352 COO(COM) Computability, enumerability, unsolvability : direction in recursion theory	Next

MD/1/0449/09-10/03-09-09

There are no comments on this title.

to post a comment.