Syntactic Logical Relations for Polymorphic and Recursive Types.

Karl Crary Robert Harper

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

data sets
logical structure
logical theories
information systems
natural language
semantic relations
recursive algorithm
syntactic semantic