{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:35:25Z","timestamp":1750221325102,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,9]],"date-time":"2017-10-09T00:00:00Z","timestamp":1507507200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000921","name":"European Cooperation in Science and Technology","doi-asserted-by":"publisher","award":["CA15123"],"award-info":[{"award-number":["CA15123"]}],"id":[{"id":"10.13039\/501100000921","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,10,9]]},"DOI":"10.1145\/3131851.3131867","type":"proceedings-article","created":{"date-parts":[[2017,10,12]],"date-time":"2017-10-12T12:51:09Z","timestamp":1507812669000},"page":"163-174","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Characterization of strong normalizability for a sequent lambda calculus with co-control"],"prefix":"10.1145","author":[{"given":"Jos\u00e9 Esp\u00edrito","family":"Santo","sequence":"first","affiliation":[{"name":"Universidade do Minho, Portugal"}]},{"given":"Silvia","family":"Ghilezan","sequence":"additional","affiliation":[{"name":"University of Novi Sad, Serbia"}]}],"member":"320","published-online":{"date-parts":[[2017,10,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Henk P. Barendregt Wil Dekkers and Richard Statman. 2013. Lambda Calculus with Types. Cambridge University Press.   Henk P. Barendregt Wil Dekkers and Richard Statman. 2013. Lambda Calculus with Types. Cambridge University Press.","DOI":"10.1017\/CBO9781139032636"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02011875"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/357766.351262"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1013963.1013982"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.01.022"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/646253.683924"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00224-009-9183-9"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.10.049"},{"volume-title":"13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015","year":"2015","author":"Santo Jos\u00e9 Esp\u00edrito","key":"e_1_3_2_1_9_1"},{"volume-title":"Types for Proofs and Programs","year":"2007","author":"Santo Jos\u00e9 Esp\u00edrito","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2012-772"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/647844.736588"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/647199.718701"},{"key":"e_1_3_2_1_14_1","unstructured":"Jean-Louis Krivine. 1990. Lambda-calcul types et mod\u00e8les. Masson Paris.  Jean-Louis Krivine. 1990. Lambda-calcul types et mod\u00e8les. Masson Paris."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.07.041"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0027763000018055"},{"volume-title":"International Conference LPAR'92","year":"1992","author":"Parigot Michel","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(88)90101-6"}],"event":{"name":"PPDP'17: 19th International Symposium on Principles and Practice of Declarative Programming","acronym":"PPDP'17","location":"Namur Belgium"},"container-title":["Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3131851.3131867","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3131851.3131867","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:13:59Z","timestamp":1750212839000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3131851.3131867"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,9]]},"references-count":18,"alternative-id":["10.1145\/3131851.3131867","10.1145\/3131851"],"URL":"https:\/\/doi.org\/10.1145\/3131851.3131867","relation":{},"subject":[],"published":{"date-parts":[[2017,10,9]]},"assertion":[{"value":"2017-10-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}