Login / Signup
Semantic Techniques for Deriving Coinductive Characterizations of Observational Equivalences for Lambda-calculi.
Marina Lenisa
Published in:
TLCA (1997)
Keyphrases
</>
semantic network
semantic level
semantic information
semantic annotation
semantically rich
data sets
domain ontology
high level
semantic web
connected components
semantic relationships
co occurrence
fixed point
semantic knowledge