Categories, types and structures : An introduction to cathegory theory for the working computer scientist /
Andrea asperti, giuseppe longo
- 306 páginas
- Foundations ot computing .
0262011255
Lenguajes de programación (Computadoras) Categorías (Matemáticas)