Andrea Asperti
University of Bologna(IT)
Publications by Year
Research Areas
Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Formal Methods in Verification, Mathematics, Computing, and Information Processing, Computability, Logic, AI Algorithms
Most-Cited Works
- → A Machine-Checked Proof of the Odd Order Theorem(2013)274 cited
- Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist(1991)
- The optimal implementation of functional programming languages(1998)
- → Intuitionistic Light Affine Logic(2002)103 cited
- → A proof of Bertrand's postulate(2013)93 cited
- → User Interaction with the Matita Proof Assistant(2007)82 cited
- → A Survey on Variational Autoencoders from a Green AI Perspective(2021)82 cited
- → Light affine logic(2002)75 cited