Monads in Semantics.

Philip S. Mulry

Published in: Electron. Notes Theor. Comput. Sci. (1998)

Keyphrases

formal semantics
evolutionary algorithm
transformation rules
data sets
decision making
case study
logic programming
operational semantics
nonmonotonic logics