An enriched view on the extended finitary monad-Lawvere theory correspondence.

Richard Garner John Power

Published in: Log. Methods Comput. Sci. (2018)

Keyphrases

finite state
data sets
real time
theoretical framework
databases
search algorithm
theoretical basis
formal theory
decision making
reinforcement learning
pairwise
data model
multiple views
point correspondences
general theory