Categories for Types

Categories for Types Crole, Roy L.

This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.
€71,50

Levertijd: 8 tot 15 werkdagen.

Specificaties

Isbn
9780521457019
Uitgever
Cambridge University Press
Verschenen
01-01-1994
Taal
Engels
Bladzijden
356 pp.
Bindwijze
Paperback
Genre
Informatica

Delen op

Meer op Athenaeum.nl over boeken

Koop uw boeken bij Athenaeum

  • Gratis verzending vanaf € 20,- (in de algemene webwinkel, binnen Nederland).
  • Vertrouwde service, veilige afhandeling
MINDBOOKSATH : athenaeum