A Theory of Primitive Objects: Second-Order Systems

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

Abstract

Research Areas