Regular Real Analysis.

Swarat Chaudhuri, Sriram Sankaranarayanan, Moshe Y. Vardi

Browse the full LICS paper archive.