Andrea Asperti
Author
Alternate names Andrea Asperti, A. Asperti
Institution University of Bologna
Past institutions University of Bologna, Institut national de recherche en informatique et en automatique, Microsoft (France), Zambon (Italy), Gestione Sistemi per l’Informatica (Italy) +5 more
ORCID: Yes
H-index: 27
I10-index: 53
Works count: 167
Citations count: 2,712
A Machine-Checked Proof of the Odd Order Theorem
2013 · Georges Gonthier, Andrea Asperti, et al. · Lecture notes in computer science
Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist
1991 · Andrea Asperti, G. Longo
The optimal implementation of functional programming languages
1998 · Andrea Asperti, Stefano Guerrini