Characterizing X-Separability and One-Side Invertibility in lambda-beta-Omega-Calculus

Corrado Böhm Adolfo Piperno

Published in: LICS (1988)

Keyphrases

lambda calculus
binary images
sufficient conditions
fixed point
dimensionality reduction
computer algebra
algebraic structure
provably correct
computer vision
pattern recognition
knowledge representation
programming language
database
neural network
automated theorem proving
automated deduction
data sets