Completeness, Invariance and lambda-Definability.

Richard Statman

Published in: J. Symb. Log. (1982)

Keyphrases

fixed point
propositional logic
discriminative power
formal proofs
data quality
category recognition
finitely representable
neural network
belief propagation
invariant representations
data sets
image processing
dynamical systems
image transformations
invariant recognition