A Theory of Primitive Objects - Untyped and First-Order Systems

Luca Cardelli
TACS (1994), pp. 296-320

Abstract