Fixpoint operators for domain equations

John Power, Giuseppe Rosolini. Fixpoint operators for domain equations. Theoretical Computer Science, 278(1-2):323-333, 2002. [doi]

Abstract

Abstract is missing.