author : Luca Cardelli

Books

• A Theory of Objects. 1996, with Martin Abadi