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

Dusko Pavlovic Peter-Michael Seidel

Published in: LICS (2017)

Keyphrases

programming language
deductive databases
datalog queries
database systems
video sequences
temporal reasoning
spatial reasoning
development environment
programming environment
logic programs
logic programming
integrity constraints
temporal information
fully functional
distributive lattices