The lambda-context calculus (extended version).

Murdoch James Gabbay Stéphane Lengrand

Published in: Inf. Comput. (2009)

Keyphrases

database
databases
information retrieval
artificial neural networks
mobile devices
context sensitive
real time
neural network
computer vision
decision trees
lambda calculus