Categories for Types

Categories for Types CROLE, Roy L. (Imperial College of Science, Technology and Medicine, London)

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

Niet leverbaar

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

5 redenen om dit boek bij ons te kopen

  • Gratis verzending bij aanschaf van € 17,50 aan boeken (binnen NL)
  • Boeken en magazines die je nergens anders vindt
  • Advies in de winkel en per telefoon
  • Bestellen zonder registratie of login
  • Vertrouwde service, veilige afhandeling

pro-mbooks1 : athenaeum