144	Mikolajewska (Symposium)		Mikolajewska (Symposium)	145
	… energized by last night's banquet (or by this morning's coffee break), presents		Relational (co)algebras for the power-set monad.
back		exit		next