Relational (co)algebras for the power-set monad. Lecture at CT99 (0)

by P T Johnstone