{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T10:02:55Z","timestamp":1649152975403},"reference-count":3,"publisher":"EDP Sciences","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO-Theor. Inf. Appl."],"published-print":{"date-parts":[[1993]]},"DOI":"10.1051\/ita\/1993270605031","type":"journal-article","created":{"date-parts":[[2017,2,2]],"date-time":"2017-02-02T15:05:54Z","timestamp":1486047954000},"page":"503-522","source":"Crossref","is-referenced-by-count":6,"title":["An imperative language based on distributive categories II"],"prefix":"10.1051","volume":"27","author":[{"given":"Wafaa","family":"Khalil","sequence":"first","affiliation":[]},{"given":"R. F. C.","family":"Walters","sequence":"additional","affiliation":[]}],"member":"250","published-online":{"date-parts":[[2011,1,8]]},"reference":[{"key":"R1","unstructured":"1. WALTERS R. F. C., An Imperative Language based on Distributive Categories, in Mathematical Structures for Computer Science (to appear).11899840788.18008"},{"key":"R2","doi-asserted-by":"crossref","unstructured":"2. WALTERS R. F. C., Categories and Computer Science, Carslaw Publications, 1991, Cambridge University Press, 1992.12046580789.18001","DOI":"10.1017\/CBO9780511608872"},{"key":"R3","unstructured":"3. WALTERS R. F. C, Lecture at the Conference on Categories and Computer Science, Durham, July 1991."}],"container-title":["RAIRO - Theoretical Informatics and Applications"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1993270605031\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,18]],"date-time":"2019-09-18T05:58:20Z","timestamp":1568786300000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1993270605031"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"references-count":3,"journal-issue":{"issue":"6"},"alternative-id":["ita1993270605031"],"URL":"https:\/\/doi.org\/10.1051\/ita\/1993270605031","relation":{},"ISSN":["0988-3754","1290-385X"],"issn-type":[{"value":"0988-3754","type":"print"},{"value":"1290-385X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}