The lambda calculus : its syntax and semantics / H.P. Barendregt.
By: Barendregt, H. P.
Material type: TextPublisher: Amsterdam ; North-Holland Pub., 1981Description: xiv, 615 p.ISBN: 0444854908.Subject(s): Lambda calculusDDC classification: 511.3Item 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.