Proofnets and Context Semantics for the Additives.

Harry G. Mairson Xavier Rival

Published in: CSL (2002)

Keyphrases

contextual information
logic programming
context aware
context awareness
formal semantics
speech acts
semantic information
context sensitive