Environments, Continuation Semantics and Indexed Categories.

John Power Hayo Thielecke

Published in: TACS (1997)

Keyphrases

formal semantics
dynamic environments
semantic information
data sets
knowledge base
high level
logic programming
logical language
broad categories
model theoretic
hierarchical structures
transformation rules
active rules
inverted file
relational databases
web services
information retrieval
databases