0 Mėgstami
0Krepšelis
183,81 
183,81 
2025-07-31 183.8100 InStock
Nemokamas pristatymas į paštomatus per 16-20 darbo dienų užsakymams nuo 19,00 

Knygos aprašymas

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

Informacija

Autorius: Roy L. Crole
Leidėjas: Cambridge University Press
Išleidimo metai: 2002
Knygos puslapių skaičius: 356
ISBN-10: 0521457017
ISBN-13: 9780521457019
Formatas: Knyga minkštu viršeliu
Kalba: Anglų
Žanras: Mathematical logic

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Categories for Types“

Būtina įvertinti prekę

Goodreads reviews for „Categories for Types“