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.
€69,95

Levertijd: 4 tot 10 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

  • Tot januari: gratis verzending (in de algemene webwinkel, binnen Nederland).
  • Vertrouwde service, veilige afhandeling
MINDBOOKSATH : athenaeum