The clausal theory of types
By: Wolfram, D. A.
Material type:
BookSeries: Cambridge Tracts In Theoretical Computer Science Series. Publisher: Cambridge Cambridge University Press 1993Description: viii, 124p.ISBN: 0521395380.Subject(s): Logic, Symbolic and mathematical | Programming languages (Electronic Computers)DDC classification: 005.131 | W833c
| Item type | Current location | Collection | Call number | url | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 005.131 W833c (Browse shelf) | Book Request | Available | A115959 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: COMPACT STORAGE (BASEMENT) Close shelf browser
| 005.131 Sh16s A second course in formal languages and automata theory | 005.131 SL54F FORMAL SYNTAX AND SEMANTICS OF PROGRAMMING LANGUAGES | 005.131 W44B BEYOND WAVELETS | 005.131 W833c The clausal theory of types | 005.133 Ab35s2 STRUCTURE AND INTERPRETATION OF COMPUTER PROGRAMS | 005.133 Ac64c Lisp and functional programming | 005.133 AD17F FORTRAN 90 HANDBOOK |
There are no comments for this item.