Keyphrases
- specification language
- lambda calculus
- higher order
- operational semantics
- programming language
- natural language
- formal language
- action language
- algebraic expressions
- language learning
- definition language
- modelling language
- linear temporal logic
- target language
- description language
- conceptual model
- fixed order
- mr images
- object oriented