The Logic of Linear Functors.

Richard Blute J. Robin B. Cockett Robert A. G. Seely

Published in: Math. Struct. Comput. Sci. (2002)

Keyphrases

multi valued
feature selection
data sets
modal logic
closed form
programming language
multiscale
lower bound
face recognition
machine learning
data mining
inference rules
piecewise linear
automated reasoning
database
classical logic
predicate logic
shift register