%0 Journal Article %1 journals/mscs/EscardoO10 %A Escardó, Martín Hötzel %A Oliva, Paulo %D 2010 %J Math. Struct. Comput. Sci. %K dblp %N 2 %P 127-168 %T Selection functions, bar recursion and backward induction. %U http://dblp.uni-trier.de/db/journals/mscs/mscs20.html#EscardoO10 %V 20

@article{journals/mscs/EscardoO10, added-at = {2020-04-01T00:00:00.000+0200}, author = {Escardó, Martín Hötzel and Oliva, Paulo}, biburl = {https://www.bibsonomy.org/bibtex/2b28064a54798e5c3c6735c39cd90e85a/dblp}, ee = {https://doi.org/10.1017/S0960129509990351}, interhash = {d6c75cb9b46338f3ac38cc6af3a8631e}, intrahash = {b28064a54798e5c3c6735c39cd90e85a}, journal = {Math. Struct. Comput. Sci.}, keywords = {dblp}, number = 2, pages = {127-168}, timestamp = {2020-04-02T11:40:36.000+0200}, title = {Selection functions, bar recursion and backward induction.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs20.html#EscardoO10}, volume = 20, year = 2010 }