Strong Normalizations of Substitutions.

Pierre-Louis Curien Thérèse Hardin Alejandro Ríos

Published in: J. Log. Comput. (1996)

Keyphrases

decision trees
high level
cooperative
special case
cost function