Right and Left Invertibility in lambda-beta-Calculus.

Ines Margaria Maddalena Zacchi

Published in: RAIRO Theor. Informatics Appl. (1983)

Keyphrases

binary images
lambda calculus
sufficient conditions
fixed point
formal language
neural network
data mining
decision trees
similarity measure
input image
database query languages
beta distribution