Journal

2000?

The regular-locally-compact coreflection of a stably locally compact locale. To appear in the Journal of Pure and Applied Algebra.

1999

Induction and recursion on the partial real line with applications to Real PCF. Theoretical Computer Science, volume 210, number 1, January 1999. Joint work with Thomas Streicher.

1998

Injective spaces and function spaces. Topology and its Applications, volume 89, numbers 1-2, pages 75-120, August 1998.

1998

The way-below relation on function spaces of semantic domains. Topology and its Applications, volume 89, numbers 1-2, pages 61-74, August 1998. Joint work with Thomas Erker and Klaus Keimel.

1997

Integration in Real PCF. Information and Computation, to appear in LICS'96 special issue. Joint work with Abbas Edalat.

1996

PCF extended with real numbers. Theoretical Computer Science, 1(162):79-115.

1992

An order-theoretic approach to interval analysis. Interval Computations, 3(5):38-45. Joint work with Dalcidio Claudio and Beatriz Franciosi.