The Realizability Approach to Computable Analysis and Topology. Bauer, A. Ph.D. Thesis, School of Computer Science, Carnegie Mellon University, Pittsburgh, 2000.
bibtex   
@PHDTHESIS{Bau00,
  author = {Bauer, Andrej},
  title = {The Realizability Approach to Computable Analysis and Topology},
  school = {School of Computer Science, Carnegie Mellon University},
  year = {2000},
  address = {Pittsburgh},
  keywords = {bib,cca}
}

Downloads: 0