Kategorien für Typen, Hardcover von Crole, Roy L., wie neu gebraucht, kostenloser Versand in...
123,91 €
Categories for Types, Hardcover by Crole, Roy L., ISBN 0521450926, ISBN-13 9780521450928, Like New Used, Free P&P in the UK This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.
Jetzt bei Ebay:
![Produktbild - Categories for Types [Hardback, 356 pages]](https://i.ebayimg.com/thumbs/images/g/YXsAAOSwOOxnGZo8/s-l140.jpg)
