Games for complexity of second-order call-by-name programs

Andrzej S. Murawski. Games for complexity of second-order call-by-name programs. Theoretical Computer Science, 343(1-2):207-236, 2005. [doi]

Abstract

Abstract is missing.