Typed vs. Untyped Realizability

Ulrich Berger, Tie Hou. Typed vs. Untyped Realizability. Electronic Notes in Theoretical Computer Science, 286:57-71, 2012. [doi]

Abstract

Abstract is missing.