{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T10:02:21Z","timestamp":1770285741982,"version":"3.49.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":5,"publisher":"Springer-Verlag","isbn-type":[{"value":"3540074163","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0029520","type":"book-chapter","created":{"date-parts":[[2005,12,6]],"date-time":"2005-12-06T14:42:57Z","timestamp":1133880177000},"page":"83-95","source":"Crossref","is-referenced-by-count":12,"title":["A survey of some useful partial order relations on terms of the lambda calculus"],"prefix":"10.1007","author":[{"given":"J. M. E.","family":"Hyland","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Barendregt, H.P., Some extensional term models for combinatory logics and \u03bb-calculi, Utrecht 1971."},{"key":"5_CR2","unstructured":"B\u00f6hm, C., Alcune proprieta della forme \u03b2\u03b7-normali del \u03bbK-calcolo, C.N.R. No.696, Rome 1968."},{"key":"5_CR3","unstructured":"Hyland, J.M.E., A syntactic characterization of the equality in some models for the Lambda Calculus, to appear Bull. L.M.S. 1975."},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Scott, D., Continuous Lattices, Springer L.N.M. No.274, 97\u2013136.","DOI":"10.1007\/BFb0073967"},{"key":"5_CR5","unstructured":"Scott, D., Data Types as Lattices, to appear."}],"container-title":["Lecture Notes in Computer Science","\u03bb-Calculus and Computer Science Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0029520","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T11:16:20Z","timestamp":1586603780000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0029520"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540074163"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/bfb0029520","relation":{},"subject":[]}}