Jump to Content

A Theory of Primitive Objects: Second-Order Systems

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

Abstract

Research Areas