{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T09:34:50Z","timestamp":1725874490709},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319516752"},{"type":"electronic","value":"9783319516769"}],"license":[{"start":{"date-parts":[[2016,12,17]],"date-time":"2016-12-17T00:00:00Z","timestamp":1481932800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-51676-9_9","type":"book-chapter","created":{"date-parts":[[2016,12,17]],"date-time":"2016-12-17T02:14:29Z","timestamp":1481940869000},"page":"136-151","source":"Crossref","is-referenced-by-count":5,"title":["Selection Equilibria of Higher-Order Games"],"prefix":"10.1007","author":[{"given":"Jules","family":"Hedges","sequence":"first","affiliation":[]},{"given":"Paulo","family":"Oliva","sequence":"additional","affiliation":[]},{"given":"Evguenia","family":"Shprits","sequence":"additional","affiliation":[]},{"given":"Viktor","family":"Winschel","sequence":"additional","affiliation":[]},{"given":"Philipp","family":"Zahn","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,12,17]]},"reference":[{"key":"9_CR1","unstructured":"Botta, N., Ionescu, C., Brady, E.: Sequential decision problems, dependently typed solutions. In: Proceedings of PLMMS 2013 (2013)"},{"issue":"2","key":"9_CR2","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1017\/S0960129509990351","volume":"20","author":"M Escard\u00f3","year":"2010","unstructured":"Escard\u00f3, M., Oliva, P.: Selection functions, bar recursion and backward induction. Math. Struct. Comput. Sci. 20(2), 127\u2013168 (2010)","journal-title":"Math. Struct. Comput. Sci."},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Escard\u00f3, M., Oliva, P.: What sequential games, the Tychonoff theorem and the double-negation shift have in common. In: Proceedings of the Third ACM SIGPLAN Workshop on Mathematically Structured Functional Programming (MSFP 2010), pp. 21\u201332 (2010)","DOI":"10.1145\/1863597.1863605"},{"issue":"2130","key":"9_CR4","doi-asserted-by":"crossref","first-page":"1519","DOI":"10.1098\/rspa.2010.0471","volume":"467","author":"M Escard\u00f3","year":"2011","unstructured":"Escard\u00f3, M., Oliva, P.: Sequential games and optimal strategies. Proc. R. Soc. Lond. A Math. Phys. Eng. Sci. 467(2130), 1519\u20131545 (2011)","journal-title":"Proc. R. Soc. Lond. A Math. Phys. Eng. Sci."},{"key":"9_CR5","unstructured":"Ghani, N., Hedges, J.: A compositional approach to economic game theory. arXiv:1603.04641 (2016)"},{"key":"9_CR6","unstructured":"Hedges, J.: A generalization of Nash\u2019s theorem with higher-order functionals. Proc. R. Soc. Lond. A Math. Phys. Eng. Sci. 469(2154) (2013). http:\/\/rspa.royalsocietypublishing.org\/content\/469\/2154\/20130041"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Hedges, J.: Monad transformers for backtracking search. In: Proceedings of the 5th Workshop on Mathematically Structured Functional Programming, pp. 31\u201350. Open Publishing Association (2014)","DOI":"10.4204\/EPTCS.153.3"},{"key":"9_CR8","unstructured":"Hedges, J.: Towards compositional game theory. Ph.D. thesis, Queen Mary University of London (2016)"},{"key":"9_CR9","unstructured":"Hedges, J., Oliva, P., Sprits, E., Winschel, V., Zahn, P.: Higher-order decision theory. arXiv preprint cs.GT, arXiv:1506.01003 (2015)"},{"key":"9_CR10","unstructured":"Hedges, J., Sprits, E., Winschel, V., Zahn, P.: Compositionality and string diagrams for game theory. arXiv:1604.06061 (2015)"},{"key":"9_CR11","volume-title":"General Theory of Employment, Interest and Money","author":"JM Keynes","year":"1936","unstructured":"Keynes, J.M.: General Theory of Employment, Interest and Money. Macmillan, London (1936)"},{"key":"9_CR12","doi-asserted-by":"crossref","first-page":"12","DOI":"10.4064\/fm-44-1-12-36","volume":"44","author":"A Mostowski","year":"1957","unstructured":"Mostowski, A.: On a generalization of quantifiers. Fundamenta Mathematicae 44, 12\u201336 (1957)","journal-title":"Fundamenta Mathematicae"},{"key":"9_CR13","volume-title":"Course in Game Theory","author":"M Osborne","year":"1994","unstructured":"Osborne, M., Rubinstein, A.: Course in Game Theory. MIT Press, Cambridge (1994)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-51676-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,16]],"date-time":"2019-09-16T12:43:15Z","timestamp":1568637795000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-51676-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,17]]},"ISBN":["9783319516752","9783319516769"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-51676-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016,12,17]]}}}