Logical relations for monadic types.

Jean Goubault-Larrecq Slawomir Lasota David Nowak

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

Keyphrases

logical structure
data sets
real time
machine learning
knowledge base
deductive databases
multiple types
datalog queries