(Leftmost-Outermost) Beta Reduction is Invariant, Indeed.

Beniamino Accattoli Ugo Dal Lago

Published in: Log. Methods Comput. Sci. (2016)

Keyphrases

affine invariant
preserving transformations
machine learning
database systems
multiscale
artificial neural networks
affine transformation
data reduction
invariant features
real world
image processing
similarity measure
reduction method
invariance properties