Gabriel-Ulmer duality and Lawvere theories enriched over a general base.

Stephen Lack John Power

Published in: J. Funct. Program. (2009)

Keyphrases

special case
databases
decision making
evolutionary algorithm
linear programming
formal logic
information retrieval
information systems
bayesian networks
theoretical framework
closely related