Explicit Substitutions.

Martín Abadi Luca Cardelli Pierre-Louis Curien Jean-Jacques Lévy

Published in: J. Funct. Program. (1991)

Keyphrases

three dimensional
data sets
artificial intelligence
high level
similarity measure
high quality
cooperative
multi agent systems