{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:34:44Z","timestamp":1750221284322,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,9,21]],"date-time":"2017-09-21T00:00:00Z","timestamp":1505952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,9,21]]},"DOI":"10.1145\/3125374.3125378","type":"proceedings-article","created":{"date-parts":[[2017,9,20]],"date-time":"2017-09-20T12:36:22Z","timestamp":1505910982000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["The importance of being Extrinsic"],"prefix":"10.1145","author":[{"given":"Alejandro","family":"Gadea","sequence":"first","affiliation":[{"name":"FaMAF, Universidad Nacional de C\u00f3rdoba - CONICET, Argentina"}]},{"given":"Emmanuel","family":"Gunther","sequence":"additional","affiliation":[{"name":"FaMAF, Universidad Nacional de C\u00f3rdoba - CONICET, Argentina"}]},{"given":"Miguel","family":"Pagano","sequence":"additional","affiliation":[{"name":"FaMAF, Universidad Nacional de C\u00f3rdoba, Argentina"}]}],"member":"320","published-online":{"date-parts":[[2017,9,21]]},"reference":[{"volume-title":"Handbook of Logic in Computer Science","author":"Abramsky Samson","key":"e_1_3_2_1_1_1","unstructured":"Samson Abramsky and A Jung . 1994. Handbook of Logic in Computer Science . Oxford University Press , Chapter Domain Theory, 1--168. Samson Abramsky and A Jung. 1994. Handbook of Logic in Computer Science. Oxford University Press, Chapter Domain Theory, 1--168."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1631687.1596567"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03359-9_10"},{"key":"e_1_3_2_1_4_1","first-page":"2535","article-title":"Realisability for Induction and Coinduction with Applications to Constructive Analysis","volume":"16","author":"Berger Ulrich","year":"2010","unstructured":"Ulrich Berger . 2010 . Realisability for Induction and Coinduction with Applications to Constructive Analysis . J. Univ. Computer Science 16 , 18 (2010), 2535 -- 2555 . Ulrich Berger. 2010. Realisability for Induction and Coinduction with Applications to Constructive Analysis. J. Univ. Computer Science 16, 18 (2010), 2535--2555.","journal-title":"J. Univ. Computer Science"},{"key":"e_1_3_2_1_5_1","unstructured":"Andrew Pitts. 2008. Step-Indexed Biorthogonality: a Tutorial Example. (2008).  Andrew Pitts. 2008. Step-Indexed Biorthogonality: a Tutorial Example. (2008)."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500003066"},{"key":"e_1_3_2_1_7_1","volume-title":"A structural approach to operational semantics. J. Log. Algebr. Program. 60--61","author":"Plotkin Gordon D.","year":"2004","unstructured":"Gordon D. Plotkin . 2004. A structural approach to operational semantics. J. Log. Algebr. Program. 60--61 ( 2004 ), 17--139. Gordon D. Plotkin. 2004. A structural approach to operational semantics. J. Log. Algebr. Program. 60--61 (2004), 17--139."},{"key":"e_1_3_2_1_9_1","unstructured":"John C. Reynolds. 2001. What do Types Mean? - From Intrinsic to Extrinsic Semantics. (2001).  John C. Reynolds. 2001. What do Types Mean? - From Intrinsic to Extrinsic Semantics. (2001)."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2016.06.013"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1137\/0205037"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1137\/0211062"},{"key":"e_1_3_2_1_16_1","unstructured":"Mallku Soldevila Raffa. 2015. Formalizaci\u00f3n de la sem\u00e1ntica del lenguaje de programacion Lua. (2015). http:\/\/www.famaf.unc.edu.ar\/institucional\/biblioteca\/trabajos\/638\/17167.pdf  Mallku Soldevila Raffa. 2015. Formalizaci\u00f3n de la sem\u00e1ntica del lenguaje de programacion Lua. (2015). http:\/\/www.famaf.unc.edu.ar\/institucional\/biblioteca\/trabajos\/638\/17167.pdf"}],"event":{"name":"SBLP 2017: 21st Brazilian Symposium on Programming Languages","sponsor":["SBC Brazilian Computer Society","CNPq Conselho Nacional de Desenvolvimento Cientifico e Tecn","CAPES Brazilian Higher Education Funding Council"],"location":"Fortaleza CE Brazil","acronym":"SBLP 2017"},"container-title":["Proceedings of the 21st Brazilian Symposium on Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3125374.3125378","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3125374.3125378","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:23Z","timestamp":1750212683000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3125374.3125378"}},"subtitle":["Coherence and adequacy for a call-by-value language"],"short-title":[],"issued":{"date-parts":[[2017,9,21]]},"references-count":12,"alternative-id":["10.1145\/3125374.3125378","10.1145\/3125374"],"URL":"https:\/\/doi.org\/10.1145\/3125374.3125378","relation":{},"subject":[],"published":{"date-parts":[[2017,9,21]]},"assertion":[{"value":"2017-09-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}