author : Martin Abadi

Books

• A Theory of Objects. 1996, with Luca Cardelli