Categories for Types

Categories for Types ROY L. (IMPERIAL COLLEGE OF SCIENCE, Technology and Medicine, London) Crole

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

Deze titel is (nog) niet op voorraad.

Specificaties

ISBN
9780521457019
Uitgever
Cambridge University Press
Druk
1e
Datum
27-01-1994
Taal
Engels
Bladzijden
356 pp.
Bindwijze
Paperback
Genre
Wetenschap

Delen op

Meer op Athenaeum.nl over boeken

Koop dit boek bij Athenaeum

  • Gratis verzending vanaf € 20,-.
  • Bestellen zonder registratie of login.
  • Vertrouwde service, veilige afhandeling.

pro-mbooks1 : athenaeum