Axiomatizing Resource Bounds for Measure.

Xiaoyang Gu, Jack H. Lutz, Satyadev Nandakumar, James S. Royer

Browse the full CiE paper archive.