Asperti

Asperti

Università di Bologna - Bologna / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 1753152
University of Bologna
person_outline Asperti's MOST POPULAR ARTICLES
1-) Categories, types, and structuresA Asperti, G LongoMIT Pr., 19915491991
2-) A machine-checked proof of the odd order theoremG Gonthier, A Asperti, J Avigad, Y Bertot, C Cohen, F Garillot, S Le Roux, ...International conference on interactive theorem proving, 163-179, 20135372013
3-) The optimal implementation of functional programming languagesA Asperti, S GuerriniCambridge University Press, 19982291998
4-) Intuitionistic light affine logicA Asperti, L RoversiACM Transactions on Computational Logic (TOCL) 3 (1), 137-175, 20021542002
5-) Balancing reconstruction error and kullback-leibler divergence in variational autoencodersA Asperti, M TrentinIeee Access 8, 199440-199448, 20201462020