The lambda calculus : its syntax and semantics / H.P. Barendregt.

Material type: Text

TextPublisher: Amsterdam ; North-Holland Pub., 1981Description: xiv, 615 p.ISBN: 0444854908.Subject(s): Lambda calculusDDC classification: 511.3

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Book	Dr. B. R. Ambedkar Central Library Science	511.3 B237 La (Browse shelf(Opens below))	Available		116076
Book	Dr. B. R. Ambedkar Central Library Science	511.3 B237 La (Browse shelf(Opens below))	Available		119597

Includes indexes.

There are no comments on this title.

to post a comment.