Reading Length
Home
Speed Tests
Login
Andrea Asperti
Identifiers
Open Library
OL404017A
Top Subjects
Categories (Mathematics) (1)
Programming languages (Electronic computers) (1)
Functional programming languages (1)
Automatic theorem proving (1)
Mathematics, data processing (1)
Information storage and retrieval systems (1)
Books by Andrea Asperti
Total count: 3
Categories, types, and structures
an introduction to category theory for the working computer scientist
MIT Press
1991-01-01
The optimal implementation of functional programming languages
Cambridge University Press
1998-01-01
Mathematical Knowledge Management
Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings
Springer London, Limited
2004-01-01
