Andrea Asperti
Andrea Asperti
3 ספרים במאגר
ספרים
The optimal implementation of functional programming languagesAndrea Asperti
The optimal implementation of functional programming languages
Andrea Asperti · 1998
Mathematical Knowledge ManagementAndrea Asperti
Mathematical Knowledge Management
Andrea Asperti · 2004
Categories, Types, and StructuresAndrea Asperti
Categories, Types, and Structures
Andrea Asperti · 1990