{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T06:58:07Z","timestamp":1648796287818},"reference-count":30,"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":[[2015,6,1]]},"DOI":"10.1093\/logcom\/exu049","type":"journal-article","created":{"date-parts":[[2014,9,13]],"date-time":"2014-09-13T06:40:12Z","timestamp":1410590412000},"page":"743-779","source":"Crossref","is-referenced-by-count":0,"title":["Pedagogical lambda-cube: the \u00a02 case"],"prefix":"10.1093","volume":"25","author":[{"given":"V.","family":"Demange","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2014,9,12]]},"reference":[{"key":"1_48578070","first-page":"871","volume":"2719","year":"2003","journal-title":"ICALP"},{"key":"2_48578071","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1017\/S0956796800020025","volume":"1","year":"1991","journal-title":"JOURNAL OF FUNCTIONAL PROGRAMMING"},{"key":"3_48578072","first-page":"117","volume":"2","year":"1992","journal-title":"LAMBDA CALCULI WITH TYPES"},{"key":"4_48578073","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/j.jal.2004.02.004","volume":"2","year":"2004","journal-title":"JOURNAL OF APPLIED LOGIC"},{"key":"5_48578074","first-page":"729","volume":"19","year":"2013","journal-title":"JOURNAL OF UNIVERSAL COMPUTER SCIENCE"},{"key":"6_48578075","first-page":"1396","volume":"13","year":"2007","journal-title":"JOURNAL OF UNIVERSAL COMPUTER SCIENCE"},{"issue":"4","key":"7_30935843","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1093\/logcom\/exn001","volume":"18","year":"2008","journal-title":"Journal of Logic and Computation","ISSN":"http:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"key":"8_48578076","doi-asserted-by":"crossref","first-page":"4190","DOI":"10.1016\/j.tcs.2009.04.020","volume":"410","year":"2009","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"11_48578077","first-page":"256","volume":"3","year":"1994","journal-title":"MODERN LOGIC"},{"key":"12_30935845","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/BFb0103100","volume":"669","year":"1978","journal-title":"HIGHER SET THEORY"},{"key":"13_48578078","first-page":"175","volume":"15","year":"1953","journal-title":"INDAGATIONES MATHEMATICA"},{"key":"17_30935847","first-page":"675","volume":"8","year":"1946","journal-title":"INDAGATIONES MATHEMATICA"},{"key":"18_30935848","first-page":"108","volume":"12","year":"1950","journal-title":"INDAGATIONES MATHEMATICA"},{"key":"19_30935849","first-page":"193","volume":"13","year":"1951","journal-title":"INDAGATIONES MATHEMATICA"},{"key":"20_48578079","first-page":"463","volume":"13","year":"1951","journal-title":"INDAGATIONES MATHEMATICA"},{"key":"21_48578080","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/BF00567395","volume":"9","year":"1955","ISSN":"http:\/\/id.crossref.org\/issn\/0039-7857","issn-type":"print"},{"key":"23_30935851","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1023\/A:1005233526469","volume":"64","year":"2000","journal-title":"STUDIA LOGICA"},{"key":"24_30935852","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1023\/A:1005207512630","volume":"65","year":"2000","journal-title":"STUDIA LOGICA"},{"key":"25_48578081","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/BF02120815","volume":"30","year":"1972","journal-title":"STUDIA LOGICA"},{"key":"26_48578082","doi-asserted-by":"crossref","first-page":"25","DOI":"10.4064\/fm-82-1-25-38","volume":"82","year":"1974","journal-title":"FUNDAMENTA MATHEMATICAE"},{"key":"28_48578083","first-page":"3","volume":"30","year":"1975","journal-title":"MOSCOW UNIVERSITY MATHEMATICAL BULLETIN"},{"key":"30_48578084","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1305\/ndjfl\/1093893719","volume":"10","year":"1969","journal-title":"NOTRE DAME J FORMAL LOGIC"},{"key":"31_30935853","doi-asserted-by":"crossref","first-page":"701","DOI":"10.1007\/s11229-004-6294-3","volume":"148","year":"2006","ISSN":"http:\/\/id.crossref.org\/issn\/0039-7857","issn-type":"print"},{"key":"32_48578085","doi-asserted-by":"crossref","first-page":"562","DOI":"10.2307\/2269691","volume":"31","year":"1966","journal-title":"THE JOURNAL OF SYMBOLIC LOGIC"},{"key":"33_30935855","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/BF02123809","volume":"32","year":"1973","journal-title":"STUDIA LOGICA"},{"key":"34_48578086","first-page":"190","volume":"624","year":"1992","journal-title":"LPAR"},{"key":"36_48578087","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1007\/3-540-06859-7_148","volume":"19","year":"1974","journal-title":"PROGRAMMING SYMPOSIUM"},{"key":"37_48578088","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1007\/3-540-62688-3_47","volume":"1210","year":"1997","journal-title":"TYPED LAMBDA CALCULI AND APPLICATIONS"},{"key":"38_30935856","first-page":"1","volume":"9","year":"1955","journal-title":"ACTA PHILOSOPHICA FENNICA"},{"key":"39_30935857","first-page":"204","volume":"11","year":"1953","journal-title":"COMPOSITIO MATHEMATICA"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/25\/3\/743\/6139679\/exu049.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,14]],"date-time":"2019-08-14T23:30:18Z","timestamp":1565825418000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exu049"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,12]]},"references-count":30,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2015,5,27]]},"published-print":{"date-parts":[[2015,6,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exu049","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,9,12]]}}}