A note on the monotone functional interpretation

Ulrich Kohlenbach. A note on the monotone functional interpretation. Math. Log. Q., 57(6):611-614, 2011. [doi]

Abstract

Abstract is missing.