Categories, types, and structures : an introduction to category theory for the working computer scientist


Andrea Asperti
Bok Engelsk 1991

Detaljer

Bibliotek som har denne