Constructive Sheaf Semantics.

Published in: Math. Log. Q. (1997)

Keyphrases

formal semantics
semantic information
logical language
data sets
domain knowledge
social networks
decision making
image sequences
video sequences
relational databases
schema mappings
semantic representation
proof theory