Normalisation is Insensible to lambda-Term Identity or Difference.

Makoto Tatsuta Mariangiola Dezani-Ciancaglini

Published in: LICS (2006)

Keyphrases

real time
data mining
image processing
lambda calculus
databases
neural network
machine learning
website
data structure
document representation
term frequency
convex functions