Selection functions, bar recursion and backward induction
Article in Mathematical Structures in Computer Science (April 2010)
The most recent citing publication is shown below. View this citation on Dimensions.
Article in Mathematical Structures in Computer Science (April 2010)