1. “Domains and Lambda-Calculi,”;Amadio,1998
2. Local realizability toposes and a modal logic for computability;Awodey,1999
3. Bauer A., “The Realizability Approach to Computable Analysis and Topology,” Ph.D. thesis, Carnegie Mellon University (2000), available as CMU technical report CMU-CS-00-164 and at http://andrej.com/thesis.
4. Bauer A. and L. Birkedal, Continuous functionals of dependent types and equilogical spaces, in: Computer Science Logic 2000, 2000, available at http://andrej.com/papers.