Sign in
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