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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.