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.

home

cv

didattica

papers

december 2008