Books by Eugenio Moggi
Proceedings of the 10th Italia
Proceedings of the 10th Italian Conference on Theoretical Computer Science
Proceedings of the 10th Italian Conference on Theoretical Computer Science, ICTS'07
An abstract view of programmin
An abstract view of programming language
Computational lambda-calculus
Computational lambda-calculus and monads