{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:21:33Z","timestamp":1729664493666,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/lics.2002.1029825","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T22:14:31Z","timestamp":1056579271000},"page":"159-166","source":"Crossref","is-referenced-by-count":0,"title":["On the lambda Y calculus"],"prefix":"10.1109","author":[{"given":"R.","family":"Statman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","volume":"1","author":"curry","year":"1958","journal-title":"Combinatory Logic"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1007\/3-540-15648-8_2"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1007\/10703163_21"},{"year":"1981","author":"barendregt","journal-title":"The Lambda Calculus","key":"1"},{"year":"1969","author":"scott","journal-title":"A type theoretic equivalent to ISWIM CUCH OWHY","key":"7"},{"year":"1980","author":"plotkin","key":"6"},{"year":"1963","author":"platek","key":"5"},{"key":"4","doi-asserted-by":"crossref","DOI":"10.1016\/0304-3975(82)90009-3","article-title":"The IO and OI hierachies","volume":"20","author":"damm","year":"1982","journal-title":"TCS"},{"year":"1987","author":"statman","journal-title":"A model of Scott's theory LCF Contemporary Mathematics Series","key":"9"},{"key":"8","article-title":"Completeness, invariance and lambda definability","volume":"47","author":"statman","year":"1982","journal-title":"JSL"}],"event":{"acronym":"LICS-02","name":"17th Annual IEEE Symposium on Logic in Computer Science","location":"Copenhagen, Denmark"},"container-title":["Proceedings 17th Annual IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8005\/22127\/01029825.pdf?arnumber=1029825","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T22:42:33Z","timestamp":1497566553000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1029825\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/lics.2002.1029825","relation":{},"subject":[]}}