Foundations of Computing

Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist by Andrea Asperti, Giuseppe Longo

Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist

Foundations of Computing

Andrea Asperti, Giuseppe Longo

306 pages • first pub 1991 (editions)

nonfiction computer science informative inspiring reflective medium-paced
More...