Biblioteca da Universidade do Minho

Your cart is empty.
Asperti,, Andrea Categories, types, and structures : an introduction to category theory for the working computer scientist / Andrea Asperti, Giuseppe Longo

Categories, types, and structures : an introduction to category theory for the working computer scientist / Andrea Asperti, Giuseppe Longo . - Cambridge : MIT Press, cop. 1991 . - XI, 306 p. : il. 24 cm . - (Foundations of computing series)
0-262-01125-5 Encadernado

519.681