A theory of primitive objects: Untyped and first-order systems (1996)

by Mart'in Abadi, Luca Cardelli
Venue:Information and Computation