Pierce, Benjamin

Basic category theory for computer scientists - 1ª edición - Massachusetts The MIT Press 1991 - 100 páginas - Foundations of computing series .

1.- Basic constructions 2.- Functors, natural transformations, and adjoints 3.- Applications 4.- Further reading

0262660717


Categorías
Informática
Lógica matemática

511.3