Nabla algebras and Chu spaces (2007)

by A Palmigiano, Y Venema
Venue:Algebra and Coalgebra in Computer Science (CALCO 2007), volume 4624 of LNCS