Categories for Types 1
bokomslag Categories for Types
Vetenskap & teknik

Categories for Types

Roy L Crole • Roy L Crole

Pocket

1149:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Denna produkt går inte att reservera, köp den gärna online!

Andra format:

  • 356 sidor
  • 1994
This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.
  • Författare: Roy L Crole, Roy L Crole
  • Format: Pocket/Paperback
  • ISBN: 9780521457019
  • Språk: Engelska
  • Antal sidor: 356
  • Utgivningsdatum: 1994-01-27
  • Förlag: Cambridge University Press

Du kanske gillar