Login / Signup

Strong Normalisation for the Linear Term Calculus.

P. N. Benton
Published in: J. Funct. Program. (1995)
Keyphrases
  • simple linear
  • high level
  • linear model
  • term frequency
  • computer algebra