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

Luca Cardelli
Inf. Comput., 125(1996), pp. 78-102

Abstract

Research Areas