Jump to Content

A Theory of Primitive Objects - Scond-Order Systems

Luca Cardelli
ESOP (1994), pp. 1-25

Abstract

Research Areas