Roy L. (Imperial College of Science Crole Forfatter
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Categories for Types (Bog, Paperback / softback, Engelsk)
This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Categories for Types (Bog, Hardback, Engelsk)
This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.
Levering: Print on Demand (forvent 14 - 30 hverdage)
