A typed context calculus.

Masatomo Hashimoto Atsushi Ohori

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

Keyphrases

context aware
contextual information
lambda calculus
case study
context sensitive
neural network
higher order
database
machine learning