Mathematical Knowledge ManagementAndrea Asperti, Bruno Buchberger, James Harold Davenport · First published 2004Open the Tome
The optimal implementation of functional programming languagesAndrea Asperti · First published 1998Open the Tome
Categories, types, and structuresAndrea Asperti · First published 1990 · Latest edition 1991Open the Tome
