Login / Signup
Algebras for Parameterised Monads.
Robert Atkey
Published in:
CALCO (2009)
Keyphrases
</>
distributive lattices
topological spaces
knowledge base
spatial reasoning
databases
relational databases
neural network
real world
case study
image sequences
data model
interval algebra
boolean algebra
relation algebra