A Calibration of Ineffective Theorems of Analysis in a Hierarchy of Semi-classical Logical Principles: (Extended Abstract).

Michael Toftdal

Browse the full ICALP paper archive.