Une équivalence sur les lambda-termes.

Laurent Regnier

Published in: Theor. Comput. Sci. (1994)

Keyphrases

fixed point
lambda calculus
database
general purpose
databases
neural network
machine learning
image processing
three dimensional
database systems