Explicit substitutions (1996)

by M. Abadi , L. Cardelli , P.-L. Curien , J.-J. Lévy
Citations:390 - 11 self