Lambda calculus its syntax and semantics
by Barendregt, H. P.
Publisher: New York North-Holland 1984Edition: Rev. ed.Description: xv, 621 p. ill. 23 cm.ISBN: 0444867481.Subject(s): Lambda calculusOnline resources: Click here to access onlineItem type | Current location | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
General Book | Central Library, BUET Circulation section | 517.3/BAR/1984 (Browse shelf) | 1 | Available | 81103 | |
General Book | Central Library, BUET Circulation section | 517.3/BAR/1984 (Browse shelf) | 2 | Available | 81104 |
Browsing Central Library, BUET Shelves , Shelving location: Circulation section Close shelf browser
No cover image available No cover image available | No cover image available No cover image available | |||||||
517.38/SWI/2007 Course in ordinary differential equations / | 517.38/YAK/2000 Differential-operator equations : | 517.38/YAK/2000 Differential-operator equations | 517.3/BAR/1984 Lambda calculus | 517.3/BAR/1984 Lambda calculus | 517.3/DAS/1963 Integral calculus | 517.3/KHO/1987 Text book on integral calculus |
Vol. - 103
Includes bibliographies
There are no comments for this item.