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

Andrzej S. Murawski

Published in: Theor. Comput. Sci. (2005)

Keyphrases

computer games
game players
computational complexity
computational cost
game design
computer chess
incomplete information
computer programs
complexity analysis
fixpoint
nash equilibria
game tree search
coalitional games