A Simply Typed Context Calculus with First-class Environments.

Masahiko Sato Takafumi Sakurai Yukiyoshi Kameyama

Published in: J. Funct. Log. Program. (2002)

Keyphrases

context aware
higher order
smart environments
real time
contextual information
context dependent
multi class classification
highly dynamic
natural language
programming language
class labels