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

by Martín Abadi , Luca Cardelli
Venue:In Proc. TACS’94, Theoretical Aspects of Computing Sofware
Citations:78 - 11 self