A Theory of Primitive Objects: Second-Order Systems

Luca Cardelli
Sci. Comput. Program., 25 (1995), pp. 81-116

Abstract