@Bibtex-file{Theory/cca.bib,
  title =        "Bibliography on Computability, Complexity and
                 Constructivity in Analysis",
  author =       "Vasco Brattka",
  email =        "BrattkaV@maths.uct.ac.za",
  address =      "Laboratory of Foundational Aspects of Computer
                 Science\\ Department of Mathematics & Applied
                 Mathematics\\ University of Cape Town\\ Private Bag\\
                 Rondebosch 7701\\ South Africa",
  supported =    "yes",
  copyright =    "Vasco Brattka",
  abstract =     "This is a bibliography on Constructivity,
                 Computability and Complexity in Analysis which contains
                 references to papers based on classical logic
                 ({"}computable analysis{"}) as well as to papers based
                 on intuitionistic logic ({"}constructive analysis{"}).
                 The bibliography is far from beeing complete, but it is
                 supposed to grow continuously. It is part of the CCA
                 Network: http://cca-net.de/",
  keywords =     "computability, complexity, constructivity, analysis",
}