We provide 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.
Unclassified Bibliography and Recent Publications
We offer an extraction of our bibliography with very recent publications (of this year and last year),
an unclassified complete version and also a BibTeX version which might be used for citations in LaTeX documents:
An earlier version of this bibliography has been published here:
Vasco Brattka and Iraj Kalantari. A bibliography of recursive analysis and recursive topology.
In Yu. L. Ershov, S.S. Goncharov, A. Nerode, and J.B. Remmel (eds.),
Handbook of Recursive Mathematics, vol. 138 of Studies in Logic and the Foundations of Mathematics,
pages 583-620. Elsevier, Amsterdam 1998.