From Corecursive Algebras to Corecursive Monads.

Jirí Adámek Mahdieh Haddadi Stefan Milius

Published in: CALCO (2011)

Keyphrases

relation algebra
topological spaces
spatial reasoning
clifford algebra
search engine
temporal reasoning
distributive lattices
neural network
learning algorithm
information systems
boolean algebra