Electronic Journal

1999

Semantic domains, injective spaces and monads. In proceedings of the 15th conference on Mathematical Foundations of Programming Semantics (MFPS XV), Electronic Notes in Theoretical Computer Science, volume 20. Joint work with Bob Flagg.

1999

On the compact-regular coreflection of a stably compact locale. In proceedings of the 15th conference on Mathematical Foundations of Programming Semantics (MFPS XV), Electronic Notes in Theoretical Computer Science, volume 20.

1998

Effective and sequential definition by cases on the reals via infinite signed-digit numerals. Electronic Notes in Theoretical Computer Science, volume 13.