Fixpoint operators for domain equations

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

Authors

John Power

This author has not been identified. It may be one of the following persons: Look up 'John Power' in Google

Giuseppe Rosolini

This author has not been identified. Look up 'Giuseppe Rosolini' in Google