Lambda-calcul, évaluation paresseuse et mise en mémoire.

Jean-Louis Krivine

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

Keyphrases

real option
fixed point
pattern recognition
lambda calculus
database
neural network
image processing
artificial neural networks
multiresolution
data model
image data