The Recursion Scheme from the Cofree Recursive Comonad.

Tarmo Uustalu Varmo Vene

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

Keyphrases

datalog programs
recursive algorithm
neural network
detection scheme
learning algorithm
information systems
search algorithm
digital images
routing protocol
deductive databases
secret sharing scheme