Jump to Content

Explicit Substitutions

Luca Cardelli
Pierre-Louis Curien
Jean-Jacques Lévy
J. Funct. Program., vol. 1 (1991), pp. 375-416

Abstract

Research Areas