Enriched algebraic theories and monads for a system of arities.

Rory B. B. Lucyshyn-Wright

Published in: CoRR (2015)

Keyphrases

databases
theoretical framework
decision making
real time
information retrieval
optimal solution
search algorithm
higher order
computational models
answer set programming
linear algebra
cognitive psychology
design theory