{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:59:46Z","timestamp":1750309186110,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T00:00:00Z","timestamp":1725840000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Funda\u00e7\u00e3o para a Ci\u00eancia e Tecnologia","award":["UIDP\/00013\/2020","UIDB\/00013\/2020"],"award-info":[{"award-number":["UIDP\/00013\/2020","UIDB\/00013\/2020"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,9]]},"DOI":"10.1145\/3678232.3678241","type":"proceedings-article","created":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:35:17Z","timestamp":1725489317000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["The logical essence of call-by-name CPS translations"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6348-5653","authenticated-orcid":false,"given":"Jos\u00e9","family":"Esp\u00edrito Santo","sequence":"first","affiliation":[{"name":"Centre of Mathematics, University of Minho, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-9338-6546","authenticated-orcid":false,"given":"Filipa","family":"Mendes","sequence":"additional","affiliation":[{"name":"Centre of Mathematics, University of Minho, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2024,9,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2951913.2951931"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exm037"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005099619660"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00138-8"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45022-X_51"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36078-6_24"},{"key":"e_1_3_2_1_7_1","volume-title":"The Logical Essence of Compiling with Continuations. In 8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023","author":"Santo Jos\u00e9 Esp\u00edrito","year":"2023","unstructured":"Jos\u00e9 Esp\u00edrito Santo and Filipa Mendes. 2023. The Logical Essence of Compiling with Continuations. In 8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023, July 3-6, 2023, Rome, Italy(LIPIcs, Vol.\u00a0260), Marco Gaboardi and Femke van Raamsdonk (Eds.). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 19:1\u201319:21."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155113"},{"volume-title":"The collected papers of Gerhard Gentzen","author":"Gentzen G.","key":"e_1_3_2_1_9_1","unstructured":"G. Gentzen. 1969. Investigations into logical deduction. In The collected papers of Gerhard Gentzen, M. E. Szabo (Ed.). North Holland, 68\u2013131."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002748"},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of CSL\u201994(Lecture Notes in Computer Science, Vol.\u00a0933)","author":"Herbelin Hugo","year":"1995","unstructured":"Hugo Herbelin. 1995. A \u03bb -calculus structure isomorphic to a Gentzen-style sequent calculus structure. In Proceedings of CSL\u201994(Lecture Notes in Computer Science, Vol.\u00a0933), L.\u00a0Pacholski and J.\u00a0Tiuryn (Eds.). Springer-Verlag, 61\u201375."},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science","author":"Hofmann Martin","year":"1997","unstructured":"Martin Hofmann and Thomas Streicher. 1997. Continuation Models are Universal for Lambda-Mu-Calculus. In Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29 - July 2, 1997. IEEE Computer Society, 387\u2013395."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(75)90017-1"},{"volume-title":"Natural Deduction. A Proof-Theoretical Study. Almquist and Wiksell","author":"Prawitz D.","key":"e_1_3_2_1_15_1","unstructured":"D. Prawitz. 1965. Natural Deduction. A Proof-Theoretical Study. Almquist and Wiksell, Stockholm."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01019462"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/267959.269968"}],"event":{"name":"PPDP 2024: 26th International Symposium on Principles and Practice of Declarative Programming","acronym":"PPDP 2024","location":"Milano Italy"},"container-title":["Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3678232.3678241","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3678232.3678241","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:54:09Z","timestamp":1750287249000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3678232.3678241"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,9]]},"references-count":16,"alternative-id":["10.1145\/3678232.3678241","10.1145\/3678232"],"URL":"https:\/\/doi.org\/10.1145\/3678232.3678241","relation":{},"subject":[],"published":{"date-parts":[[2024,9,9]]},"assertion":[{"value":"2024-09-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}