Jump to Content

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

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

Abstract

Research Areas