Jump to Content

Explicit Substitutions

Luca Cardelli
Pierre-Louis Curien
Jean-Jacques Lévy
POPL (1990), pp. 31-46

Abstract

Research Areas