{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T09:09:26Z","timestamp":1775466566739,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,7,5]],"date-time":"2016-07-05T00:00:00Z","timestamp":1467676800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Austrian Science Fund","award":["P 25781-N15"],"award-info":[{"award-number":["P 25781-N15"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,7,5]]},"DOI":"10.1145\/2933575.2933605","type":"proceedings-article","created":{"date-parts":[[2016,10,14]],"date-time":"2016-10-14T13:34:47Z","timestamp":1476452087000},"page":"136-145","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["G\u00f6del's functional interpretation and the concept of learning"],"prefix":"10.1145","author":[{"given":"Thomas","family":"Powell","sequence":"first","affiliation":[{"name":"University of Innsbruck"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,7,5]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"F. Aschieri. Learning Realizability and Games in Classical Arithmetic. PhD thesis Universita degli Studi di Torino and Queen Mary University of London 2011.  F. Aschieri. Learning Realizability and Games in Classical Arithmetic. PhD thesis Universita degli Studi di Torino and Queen Mary University of London 2011."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"F. Aschieri and S. Berardi. Interactive learning-based realizability for Heyting arithmetic with EM1. Logical Methods in Computer Science 6(3) 2010.  F. Aschieri and S. Berardi. Interactive learning-based realizability for Heyting arithmetic with EM1. Logical Methods in Computer Science 6(3) 2010.","DOI":"10.2168\/LMCS-6(3:19)2010"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1002\/1521-3870(200201)48:1<3::AID-MALQ3>3.0.CO;2-6"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"J.\n       \n      Avigad\n     and \n      \n      \n      S.\n       \n      Feferman\n      \n  \n  . \n  G\u00f6del's functional (\"Dialectica\") interpretation. In S. R. Buss editor Handbook of Proof Theory volume \n  137\n   of \n  Studies in Logic and the Foundations of Mathematics pages \n  337\n  --\n  405\n  . \n  North Holland Amsterdam 1998\n  .  J. Avigad and S. Feferman. G\u00f6del's functional (\"Dialectica\") interpretation. In S. R. Buss editor Handbook of Proof Theory volume 137 of Studies in Logic and the Foundations of Mathematics pages 337--405. North Holland Amsterdam 1998.","DOI":"10.1016\/S0049-237X(98)80020-7"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/1018438.1021869"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.2307\/2275524"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129509990351"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"K. G\u00f6del. \u00dcber eine bisher noch nicht ben\u00fctzte Erweiterung des finiten Standpunktes. dialectica 12:280--287 1958.  K. G\u00f6del. \u00dcber eine bisher noch nicht ben\u00fctzte Erweiterung des finiten Standpunktes. dialectica 12:280--287 1958.","DOI":"10.1111\/j.1746-8361.1958.tb01464.x"},{"key":"e_1_3_2_1_10_1","volume-title":"Monographs in Mathematics. Springer","author":"Kohlenbach U.","year":"2008"},{"key":"e_1_3_2_1_11_1","volume-title":"TU Darmstadt","author":"Kreuzer A.","year":"2012"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"D.\n       \n      Normann\n    .\n      \n  \n   \n  The continuous functionals. In S. Abramsky S. Artemov R. A. Shore and A. S. Troelstra editors Handbook of Computability Theory volume \n  140\n   of \n  Studies in Logic and the Foundations of Mathematics pages \n  251\n  --\n  275\n  . \n  North Holland Amsterdam 1999\n  .  D. Normann. The continuous functionals. In S. Abramsky S. Artemov R. A. Shore and A. S. Troelstra editors Handbook of Computability Theory volume 140 of Studies in Logic and the Foundations of Mathematics pages 251--275. North Holland Amsterdam 1999.","DOI":"10.1016\/S0049-237X(99)80024-X"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/11780342_44"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.201100106"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129513000340"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.200710045"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1090\/pspum\/005\/0154801"}],"event":{"name":"LICS '16: 31st Annual ACM\/IEEE Symposium on Logic in Computer Science","location":"New York NY USA","acronym":"LICS '16","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","EACSL European Association for Computer Science Logic","IEEE-CS\\DATC IEEE Computer Society"]},"container-title":["Proceedings of the 31st Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2933575.2933605","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2933575.2933605","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:56:03Z","timestamp":1750222563000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2933575.2933605"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,5]]},"references-count":16,"alternative-id":["10.1145\/2933575.2933605","10.1145\/2933575"],"URL":"https:\/\/doi.org\/10.1145\/2933575.2933605","relation":{},"subject":[],"published":{"date-parts":[[2016,7,5]]},"assertion":[{"value":"2016-07-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}