Sequentiality and the CPS Semantics of Fresh Names.

Published in: MFPS (2007)

Keyphrases

formal semantics
named entities
logic programming
semantic information
logical language
co occurrence
conceptual model
operational semantics
model theoretic
neural network
real world
data mining
search engine
social networks
information systems