Keyphrases
- programming language
- cooperative games
- logic programming
- lambda calculus
- object oriented
- database languages
- cooperative game theory
- general purpose
- high level
- denotational semantics
- strongly typed
- concurrent programming
- multiagent systems
- software engineering
- predicate calculus
- predicate logic
- game theory
- nash equilibrium
- abstract data types
- programs written
- default logic
- social welfare
- higher order
- artificial intelligence