{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T22:26:31Z","timestamp":1648679191121},"reference-count":38,"publisher":"Oxford University Press (OUP)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2014,6,1]]},"DOI":"10.1093\/logcom\/exs020","type":"journal-article","created":{"date-parts":[[2012,6,23]],"date-time":"2012-06-23T08:17:31Z","timestamp":1340439451000},"page":"513-529","source":"Crossref","is-referenced-by-count":0,"title":["Linearity: A Roadmap"],"prefix":"10.1093","volume":"24","author":[{"given":"S.","family":"Alves","sequence":"first","affiliation":[]},{"given":"M.","family":"Fernandez","sequence":"additional","affiliation":[]},{"given":"M.","family":"Florido","sequence":"additional","affiliation":[]},{"given":"I.","family":"Mackie","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2012,6,19]]},"reference":[{"key":"1_42764894","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(93)90181-R","volume":"111","year":"1993","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"3_42875645","doi-asserted-by":"crossref","first-page":"1484","DOI":"10.1016\/j.tcs.2009.11.014","volume":"411","year":"2010","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"issue":"1","key":"4_42875698","first-page":"1","volume":"23","year":"2011","journal-title":"INTERNATIONAL JOURNAL ON HIGHERORDER AND SYMBOLIC COMPUTATION"},{"key":"6_42875647","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/j.tcs.2005.06.005","volume":"342","year":"2005","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"8_42875648","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/0304-3975(94)00279-7","volume":"142","year":"1995","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"9_35232761","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/504077.504081","volume":"3","year":"2002","journal-title":"ACM TRANSACTIONS ON COMPUTATIONAL LOGIC"},{"issue":"2","key":"15_20408636","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1093\/comjnl\/32.2.152","volume":"32","author":"Bloss","year":"1989","journal-title":"The Computer Journal","ISSN":"http:\/\/id.crossref.org\/issn\/0010-4620","issn-type":"print"},{"key":"17_42875649","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1017\/S0960129599002893","volume":"9","year":"1999","journal-title":"MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE"},{"key":"18_42875650","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/0304-3975(93)90005-E","volume":"113","year":"1993","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"19_42875651","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/j.entcs.2010.08.013","volume":"265","year":"2010","journal-title":"ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE"},{"key":"20_42875699","first-page":"49","volume":"XXVII","year":"1986","journal-title":"CAHIERS DE TOPOLOGIE ET GOMTRIE DIFFRENTIELLE CATGORIQUES"},{"key":"21_32735582","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1305\/ndjfl\/1093883253","volume":"21","year":"1980","journal-title":"NOTRE DAME JOURNAL OF FORMAL LOGIC"},{"issue":"11","key":"22_19660556","doi-asserted-by":"publisher","first-page":"584","DOI":"10.1073\/pnas.20.11.584","volume":"20","author":"Curry","year":"1934","journal-title":"PNAS","ISSN":"http:\/\/id.crossref.org\/issn\/0027-8424","issn-type":"print"},{"key":"23_42875652","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0304-3975(03)00392-X","volume":"309","year":"2003","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"24_42875653","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1016\/j.tcs.2008.06.001","volume":"403","year":"2008","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"25_42764897","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1017\/S0960129504004633","volume":"15","year":"2005","journal-title":"MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE"},{"key":"26_42875654","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1017\/S0956796803004970","volume":"14","year":"2004","journal-title":"JOURNAL OF FUNCTIONAL PROGRAMMING"},{"key":"30_42875655","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1017\/S0956796809990268","volume":"20","year":"2010","journal-title":"JOURNAL OF FUNCTIONAL PROGRAMMING"},{"key":"33_42875656","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1305\/ndjfl\/1040067315","volume":"37","year":"1996","journal-title":"NOTRE DAME JOURNAL OF FORMAL LOGIC"},{"key":"34_35232764","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1006\/inco.1998.2700","volume":"143","year":"1998","journal-title":"INFORMATION AND COMPUTATION"},{"key":"35_39085303","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","year":"1987","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"37_36639334","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(92)90386-T","volume":"97","year":"1992","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"issue":"3","key":"49_20368361","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1093\/logcom\/10.3.411","volume":"10","author":"Kfoury","year":"2000","journal-title":"Journal of Logic and Computation","ISSN":"http:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"key":"51_42875657","doi-asserted-by":"crossref","first-page":"436","DOI":"10.1145\/276393.278524","volume":"20","year":"1998","journal-title":"ACM TRANSACTIONS ON PROGRAMMING LANGUAGE SYSTEMS"},{"key":"53_42875658","doi-asserted-by":"crossref","first-page":"914","DOI":"10.1145\/330249.330251","volume":"21","year":"1999","journal-title":"ACM TRANSACTIONS ON PROGRAMMING LANGUAGE SYSTEMS"},{"key":"54_42875659","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/0304-3975(88)90100-4","volume":"59","year":"1988","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"55_35232765","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/j.tcs.2003.10.018","volume":"318","year":"2004","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"57_42875660","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0304-3975(86)90109-X","volume":"44","year":"1986","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"60_42875661","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1017\/S0956796800001131","volume":"4","year":"1994","journal-title":"JOURNAL OF FUNCTIONAL PROGRAMMING"},{"key":"62_42875662","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1007\/BF00873993","volume":"1","year":"1993","journal-title":"JOURNAL OF APPLIED CATEGORICAL STRUCTURES"},{"key":"63_42875663","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1017\/S0960129500000062","volume":"1","year":"1991","journal-title":"MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE"},{"key":"64_42875664","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1142\/S0129054191000182","volume":"2","year":"1991","journal-title":"INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE"},{"key":"65_41276599","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","year":"1992","journal-title":"INFORMATION AND COMPUTATION"},{"key":"68_42875665","first-page":"358","volume":"103","year":"2010","journal-title":"FUNDAMENTA INFORMATICAE"},{"key":"71_42875666","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1007\/BF00370829","volume":"48","year":"1989","journal-title":"STUDIA LOGICA"},{"key":"73_42875667","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0304-3975(77)90044-5","volume":"5","year":"1977","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"76_42875668","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0304-3975(92)90297-S","volume":"102","year":"1992","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"77_42875669","doi-asserted-by":"crossref","first-page":"1109","DOI":"10.1137\/S0097539703432165","volume":"33","year":"2004","journal-title":"SIAM JOURNAL ON COMPUTING"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/24\/3\/513\/2780420\/exs020.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T11:44:38Z","timestamp":1503488678000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exs020"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6,19]]},"references-count":38,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2014,5,21]]},"published-print":{"date-parts":[[2014,6,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exs020","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,6,19]]}}}