, lambda) for any lambda.

Yanxun Chang Giovanni Lo Faro Antoinette Tripodi

Published in: Discret. Math. (2008)

Keyphrases

databases
neural network
fixed point
computer vision
image processing
dynamic programming
higher order
domain specific
lambda calculus