Semantics and Logics of Computation by Andrew M. Pitts (English) Paperback Book
54,98 €
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:
