Login / Signup

Strong Normalization from Weak Normalization by Translation into the Lambda-I-Calculus.

Inge Li GørtzSigne ReussMorten Heine Sørensen
Published in: High. Order Symb. Comput. (2003)
Keyphrases
  • preprocessing
  • case study
  • normalization method
  • real world
  • expressive power
  • database
  • data sets
  • artificial intelligence
  • social networks
  • website
  • similarity measure
  • digital libraries
  • co occurrence