Semantik und Logik der Berechnung von Pitts, Andrew M. (Englisch) Hardcover Buch
250,50 €
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:
