Compiling a Functional Logic Language: The Fair Scheme.
Sergio AntoyAndy JostPublished in: LOPSTR (2013)
Keyphrases
- dynamic logic
- language learning
- programming language
- predicate calculus
- formal language
- specification language
- operational semantics
- intuitionistic logic
- formal theory
- natural language
- agent programming
- modal operators
- language processing
- modal logic
- neural network
- predicate logic
- multi valued
- automated reasoning
- constraint language
- proof theory
- relational databases
- lambda calculus
- monadic second order logic