Isomorphisms of types : from (lamda)-calculus to information retrieval and language design / Roberto Di Cosmo
Series: Progress in theoretical computer science | Progress in theoretical computer sciencePublication details: Boston : Birkhauser, 1995Description: 235 pISBN:- 081763763X
- QA76.7
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Book - General | M. Kamal Hassan Library | M. Kamal Hassan Library | General Collection | Open Shelf | QA76.7D536I (Browse shelf(Opens below)) | 1 | Available | 00000388729 |
1