The lambda-context Calculus.

Murdoch Gabbay Stéphane Lengrand

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

context sensitive
context aware
contextual information
search engine
knowledge retrieval
database
neural network
real world
image sequences
multi agent systems
relational databases
evolutionary algorithm
probabilistic model
lambda calculus