Quotients in monadic programming: Projective algebras are equivalent to coalgebras.

Dusko Pavlovic Peter-Michael Seidel

Published in: CoRR (2017)

Keyphrases

programming language
deductive databases
datalog queries
high level
object oriented
object oriented programming
databases
relational databases
programming environment
programming course
topological spaces