Andrea Asperti's Books

My books

A.Asperti, G.Longo. Category Theory for the Working Computer Scientist. M.I.T.Press. 1991.

A.Asperti, S.Guerrini. The Optimal Implementation of Functional Programming Languages. Cambridge Tracts in Theoretical Computer Science No. 45. Cambridge University Press. 1998.

A.Asperti, A.Ciabattoni. Logica a Informatica McGraw-Hill 1997.

I also started to write an introduction to modern type theory, but my alleged coauthor B.W. vanished into thin air. If you have news of him, please let me know.

home

cv

didattica

papers

april 2018