Beta reduction is invariant, indeed.

Beniamino Accattoli Ugo Dal Lago

Published in: CSL-LICS (2014)

Keyphrases

affine transformation
reduction method
real world
expert systems
affine invariant
decision making
image processing
objective function
data structure
pattern recognition
fourier domain