{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:09:51Z","timestamp":1760202591402},"reference-count":0,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Log.Meth.Comput.Sci."],"DOI":"10.2168\/lmcs-4(4:5)2008","type":"journal-article","created":{"date-parts":[[2009,1,9]],"date-time":"2009-01-09T10:25:11Z","timestamp":1231496711000},"source":"Crossref","is-referenced-by-count":8,"title":["Light Logics and the Call-by-Value Lambda Calculus"],"prefix":"10.46298","volume":"4","author":[{"given":"Paolo","family":"Coppola","sequence":"first","affiliation":[]},{"given":"Ugo","family":"Dal Lago","sequence":"additional","affiliation":[]},{"given":"Simona","family":"Ronchi Della Rocca","sequence":"additional","affiliation":[]}],"member":"25203","published-online":{"date-parts":[[2008,11,7]]},"container-title":["Logical Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/lmcs.episciences.org\/820\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,7]],"date-time":"2022-04-07T09:52:52Z","timestamp":1649325172000},"score":1,"resource":{"primary":{"URL":"https:\/\/lmcs.episciences.org\/820"}},"subtitle":[],"editor":[{"given":"Harry","family":"Mairson","sequence":"additional","affiliation":[]}],"short-title":[],"issued":{"date-parts":[[2008,11,7]]},"references-count":0,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2008]]}},"URL":"https:\/\/doi.org\/10.2168\/lmcs-4(4:5)2008","relation":{},"ISSN":["1860-5974"],"issn-type":[{"value":"1860-5974","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,11,7]]}}}