Computer Science
New books from university presses
(1) Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design
Edited by Carl A. Gunter and John C. Mitchell
ISBN: 9780262526326
MIT Press
View at publisher
Edited by Carl A. Gunter and John C. Mitchell
ISBN: 9780262526326
MIT PressView at publisher
(2) Dynamics, Polarity, and Quantification
Kanazawa, Makoto
ISBN: 9781881526414
University of Chicago Press
View at publisher
Kanazawa, Makoto
ISBN: 9781881526414
University of Chicago PressView at publisher