A Semantic Characterization of the Well-Typed Formulae of gamma-Calculus.

Published in: Theor. Comput. Sci. (1993)

Keyphrases

higher order
lambda calculus
semantic web
semantic knowledge
semantic relationships
high level
domain knowledge
context dependent
semantic network
computer algebra
semantic description
semantic interpretation
conceptual graphs
information systems
semantic annotation
semantic information
low level
website