Semantics and Logics of Computation by Pitts, Andrew M. (English) Hardcover Book
155,19 €
List of contributors; Preface; 1. Computational content of classical logic Thierry Coquand; 3. Operationally-based theories of program equivalence Andrew Pitts; 7. Categories in concurrency Glynn Winskel and Mogens Nielsen; Index.
Jetzt bei Ebay:
