Higher-Order Functional Languages and Intensional Logic.
Panos RondogiannisWilliam W. WadgePublished in: J. Funct. Program. (1999)
Keyphrases
- higher order
- higher order logic
- high order
- functional language
- pairwise
- expressive power
- formal language
- natural images
- markov random field
- classical logic
- modal logic
- lambda calculus
- logic programming
- multi valued
- highly expressive
- multi lingual
- language independent
- low order
- computational properties
- predicate logic
- target language
- automated reasoning
- text summarization
- cross lingual
- database systems
- databases
- database
- statistical machine translation
- defeasible logic
- inductive logic programming
- asynchronous circuits
- proof theory
- query evaluation
- programs written
- query language