1. S. Awodey, A. Bauer. Sheaf Toposes for Realizability. April 2001. Preprint CMU-PHIL-117.
2. A. Bauer, L. Birkedal, D. S. Scott. Equilogical Spaces. September 1998. Revised February 2001. To appear in Theoretical Computer Science.
3. A. Bauer The Realizability Approach to Computable Analysis and Topology. Ph.D. Thesis. September 2000.
4. S. Awodey, J. Hughes. The Coalgebraic Dual of Birkhoff’s Variety Theorem. Preprint. October 2000.
5. L. Birkedal, J. van Oosten. Relative and Modified Relative Realizability. Preprint 1146, Department of Mathematics, Universiteit Utrecht. March 2000.