Sign in

Strong Normalizations of Substitutions.

Pierre-Louis CurienThérèse HardinAlejandro Ríos
Published in: J. Log. Comput. (1996)
Keyphrases
  • decision trees
  • high level
  • cooperative
  • special case
  • cost function