Author:
Awodey Steven,Bauer Andrej
Publisher
Springer Science and Business Media LLC
Reference17 articles.
1. Awodey, S., Birkedal, L., Scott, D.S.: Local realizability toposes and a modal logic for computability. In: Birkedal, L., van Oosten, J., Rosolini, G., Scott, D.S. (eds.) Tutorial Workshop on Realizability Semantics, FLoC’99, Trento, Italy, 1999. Electronic Notes in Theoretical Computer Science, vol. 23. Math. Stru. Comp. Sci. Elsevier, Amsterdam (1999)
2. Bauer, A.: The realizability approach to computable analysis and topology. Ph.D. Thesis, Carnegie Mellon University. Available as CMU technical report CMU-CS-00-164 and at http://andrej.com/thesis (2000)
3. Bauer A., Birkedal L., Scott D.S.: Equilogical Spaces. Theor. Comput. Sci. 1(315), 35–59 (2004)
4. Birkedal, L.: Developing theories of types and computability. Ph.D. Thesis, School of Computer Science, Carnegie Mellon University. Available as CMU Technical Report: CMU-CS-99-173, December 1999
5. Birkedal, L.: Developing theories of types and computability via realizability. Electronic Notes in Theoretical Computer Science, vol. 34. Available at http://www.elsevier.nl/locate/entcs/volume34.html (2000)