Michael Toftdal. A Calibration of Ineffective Theorems of Analysis in a Hierarchy of Semi-classical Logical Principles: (Extended Abstract). In Josep Díaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella, editors, Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings. Volume 3142 of Lecture Notes in Computer Science, pages 1188-1200, Springer, 2004. [doi]
Abstract is missing.