SEMANTICS AND LOGICS OF COMPUTATION
By: Andrew M. Pitts,Peter No Dybjer.
Contributor(s): Dybjer,Peter.
Material type: BookPublisher: Cambridge Univ. Press, Cambridge 1997Description: xii,361.ISBN: 0521580579.Subject(s): Electronic Data Processing | Programming Languages (Electronic Computer Semantics) | Logic, Symbolic And MathematicalDDC classification: 004.015113 | SE52PItem type | Current location | Collection | Call number | url | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 004.015113 SE52P (Browse shelf) | Book Request | Available | A126112 |
Total holds: 0
There are no comments for this item.