A theory of primitive objects: Second-order systems (1994)

by Martin Abadi, Luca Cardeili
Venue:In European Symposium on Programming