Hedges, Jules; Oliva, Paulo; Winschel, Evguenia; … - 2014
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...