{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T04:13:32Z","timestamp":1751948012843,"version":"3.41.2"},"reference-count":0,"publisher":"Central Library of the Slovak Academy of Sciences","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["cai"],"published-print":{"date-parts":[[2017]]},"DOI":"10.4149\/cai_2017_6_1385","type":"journal-article","created":{"date-parts":[[2018,1,26]],"date-time":"2018-01-26T07:15:34Z","timestamp":1516950934000},"page":"1385-1414","source":"Crossref","is-referenced-by-count":9,"title":["New Approach to Categorical Semantics for Procedural Languages"],"prefix":"10.31577","volume":"36","author":[{"given":"William","family":"Steingartner","sequence":"first","affiliation":[]},{"given":"Valerie","family":"Novitzk\u00e1","sequence":"additional","affiliation":[]},{"given":"Michaela","family":"Ba\u010d\u00edkov\u00e1","sequence":"additional","affiliation":[]},{"given":"\u0160tefan","family":"Kore\u010dko","sequence":"additional","affiliation":[]}],"member":"16018","container-title":["Computing and Informatics"],"original-title":[],"link":[{"URL":"http:\/\/www.cai.sk\/ojs\/index.php\/cai\/article\/view\/2017_6_1385\/867","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,7]],"date-time":"2025-07-07T17:24:53Z","timestamp":1751909093000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.cai.sk\/ojs\/index.php\/cai\/article\/view\/2017_6_1385"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"references-count":0,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2017]]}},"URL":"https:\/\/doi.org\/10.4149\/cai_2017_6_1385","relation":{},"ISSN":["1335-9150"],"issn-type":[{"type":"electronic","value":"1335-9150"}],"subject":[],"published":{"date-parts":[[2017]]}}}