Validity in intensional languages: a new approach.

William H. Hanson James Hawthorne

Published in: Notre Dame J. Formal Log. (1985)

Keyphrases

expressive power
language independent
grammatical inference
multi lingual
information systems
higher order
cross lingual
databases
neural network
data integration
machine translation
interchange format
multilingual information retrieval