We use quantifiers and selection functions to represent simultaneous move games. Quantifiers and selection functions are examples of higher-order functions. A higher order function is a function whose domain is itself a set of functions. Thus, quantifiers and selection func- tions allow players...

We use quantifiers and selection functions to represent simultaneous move games. Quantifiers and selection functions are examples of higher-order functions. A higher order function is a function whose domain is itself a set of functions. Thus, quantifiers and selection func- tions allow players...

We use quantifiers and selection functions to represent simultaneous move games. Quantifiers and selection functions are examples of higher-order functions. A higher order function is a function whose domain is itself a set of functions. Thus, quantifiers and selection func- tions allow players...