The Completeness of Typing for Context-Semantics.

Thierry Coquand

Published in: Fundam. Informaticae (2007)

Keyphrases

context aware
database
conceptual model
contextual information
speech acts
semantic aspects
formal semantics
real time
data sets
neural network
logic programming
integrity constraints
context dependent
semantic representation