A Formal Template Language Enabling Metaproof.
Nuno AmálioSusan StepneyFiona PolackPublished in: FM (2006)
Keyphrases
- formal language
- operational semantics
- visual languages
- mathematical theory
- language learning
- natural language
- precisely defined
- formal languages
- template matching
- language processing
- information retrieval
- programming language
- matching algorithm
- multi agent systems
- english language
- highly expressive
- model theoretic
- target language
- computational linguistics
- formal semantics
- input image
- object oriented
- high level
- artificial intelligence