Notions of Computation Determine Monads.

Gordon D. Plotkin John Power

Published in: FoSSaCS (2002)

Keyphrases

database
decision trees
cooperative
efficiently computing
databases
search engine
efficient computation