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