{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T14:53:21Z","timestamp":1676818401128},"reference-count":23,"publisher":"Oxford University Press (OUP)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2010,4,1]]},"DOI":"10.1093\/logcom\/exp049","type":"journal-article","created":{"date-parts":[[2009,9,14]],"date-time":"2009-09-14T00:12:46Z","timestamp":1252887166000},"page":"501-531","source":"Crossref","is-referenced-by-count":13,"title":["A Nominal Axiomatization of the Lambda Calculus"],"prefix":"10.1093","volume":"20","author":[{"given":"M. J.","family":"Gabbay","sequence":"first","affiliation":[]},{"given":"A.","family":"Mathijssen","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2009,9,13]]},"reference":[{"key":"1_35580378","first-page":"375","volume":"1","year":"1992","journal-title":"JOURNAL OF FUNCTIONAL PROGRAMMING"},{"key":"4_35580379","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/BF00252180","volume":"16","year":"1996","journal-title":"JOURNAL OF AUTOMATED REASONING"},{"key":"10_32735573","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/S0304-3975(00)00057-8","volume":"249","year":"2000","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"11_32735574","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1017\/S0960129506005123","volume":"16","year":"2006","journal-title":"MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE"},{"key":"13_29910937","first-page":"177","volume":"43","year":"1996","journal-title":"MATHEMATICA JAPONICA"},{"key":"16_35232789","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/j.entcs.2007.02.009","volume":"172","year":"2007","journal-title":"ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE"},{"key":"20_35580380","first-page":"381","volume":"5","year":"1972","journal-title":"INDAGATIONES MATHEMATICAE"},{"key":"22_29910940","doi-asserted-by":"crossref","first-page":"917","DOI":"10.1016\/j.ic.2006.12.002","volume":"205","year":"2007","journal-title":"INFORMATION AND COMPUTATION"},{"key":"25_35232791","doi-asserted-by":"crossref","first-page":"982","DOI":"10.1016\/j.ic.2006.10.010","volume":"205","year":"2007","journal-title":"INFORMATION AND COMPUTATION"},{"issue":"2","key":"26_32192202","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1093\/logcom\/exn055","volume":"19","year":"2009","journal-title":"Journal of Logic and Computation","ISSN":"http:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"key":"29_32192208","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1007\/s00165-007-0056-1","volume":"20","year":"2008","journal-title":"FORMAL ASPECTS OF COMPUTING"},{"issue":"4","key":"31_29910934","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1093\/logcom\/exm064","volume":"18","year":"2008","journal-title":"Journal of Logic and Computation","ISSN":"http:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"key":"32_32192209","first-page":"341","volume":"13","year":"2001","journal-title":"FORMAL ASPECTS OF COMPUTING"},{"key":"35_35580381","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1016\/S0304-3975(00)00353-4","volume":"272","year":"2002","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"36_29910946","first-page":"229","volume":"2","year":"1994","journal-title":"HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING"},{"key":"38_35580382","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1016\/j.tcs.2003.10.041","volume":"322","year":"2004","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"issue":"4","key":"40_21115578","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1093\/logcom\/1.4.497","volume":"1","author":"MILLER","year":"1991","journal-title":"Journal of Logic and Computation","ISSN":"http:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"key":"43_29910951","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1007\/BF00248324","volume":"5","year":"1989","journal-title":"JOURNAL OF AUTOMATED REASONING"},{"key":"45_32735605","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/S0304-3975(00)00059-1","volume":"249","year":"2000","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"47_35580383","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BF01448013","volume":"92","year":"1924","journal-title":"MATHEMATISHE ANNALEN"},{"key":"48_35580384","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1017\/S0956796801004294","volume":"12","year":"2002","journal-title":"JOURNAL OF FUNCTIONAL PROGRAMMING"},{"key":"50_35580385","first-page":"120","volume":"1","year":"1995","journal-title":"INFORMATION AND COMPUTATION"},{"key":"54_29910954","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1016\/j.tcs.2004.06.016","volume":"323","year":"2004","journal-title":"THEORETICAL COMPUTER SCIENCE"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/20\/2\/501\/2756129\/exp049.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T14:45:08Z","timestamp":1558536308000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exp049"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9,13]]},"references-count":23,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2010,3,19]]},"published-print":{"date-parts":[[2010,4,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exp049","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,9,13]]}}}