Improving Computations in a Typed Functional Logic Language.
Jesús Manuel Almendros-JiménezPublished in: AMAST (1998)
Keyphrases
- lambda calculus
- programming language
- predicate calculus
- formal language
- dynamic logic
- proof theory
- functional language
- natural language
- specification language
- operational semantics
- intuitionistic logic
- modal logic
- language learning
- logic programming
- modal operators
- propositional dynamic logic
- functional programs
- declarative semantics
- database language
- higher order
- logic programming language
- formal theory
- conditional logic
- agent programming
- formal logic
- classical logic
- formal semantics
- language processing
- deductive databases