{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T07:46:47Z","timestamp":1775461607562,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540074168","type":"print"},{"value":"9783540379447","type":"electronic"}],"license":[{"start":{"date-parts":[[1975,1,1]],"date-time":"1975-01-01T00:00:00Z","timestamp":157766400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1975]]},"DOI":"10.1007\/bfb0029534","type":"book-chapter","created":{"date-parts":[[2005,12,6]],"date-time":"2005-12-06T14:42:57Z","timestamp":1133880177000},"page":"312-318","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Sequentially and parallelly computable functionals"],"prefix":"10.1007","author":[{"given":"Y. Y.","family":"Sazonov","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,11,22]]},"reference":[{"key":"19_CR1","unstructured":"Hindley, J.R., B.Lercher,J.P.Seldin, Introduction to combinatory logic, London math.soc. Lecture note series 7 (1972)."},{"key":"19_CR2","volume-title":"A type-theoretical alternative to CUCH, ISWIM","author":"D. Scott","year":"1969","unstructured":"Scott, D., A type-theoretical alternative to CUCH, ISWIM, OWHY, Oxford (1969)."},{"key":"19_CR3","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BFb0073967","volume":"274","author":"D. Scott","year":"1972","unstructured":"Scott, D., Continuous lattices, in Toposes, Algebraic Geometry and Logic, Lecture notes in Math. 274(1972),97\u2013136.","journal-title":"Lecture notes in Math."},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Scott, D., Lattice-theoretical models for various type-free calculi, in Proc. of the IVth Int.Congress for logic, mathodology and philosophy of science, Bucharest (1972).","DOI":"10.1016\/S0049-237X(09)70356-8"},{"key":"19_CR5","unstructured":"\u0421\u0430\u0437\u043e\u043d\u043e\u0432, \u0412.\u042e. \u041e \u0432\u044b\u0440\u0430\u0437\u0438\u043c\u043e\u0441\u0442\u0438 \u0438 \u0432\u044b\u0447\u0438\u0441\u043b\u0438\u043c\u043e\u0441\u0442\u0438 \u043e\u0431\u044a\u0435\u043a\u0442\u043e\u0432 \u0432 \u044f\u0437\u044b\u043a\u0435 \u0414.\u0421\u043a\u043e\u0442\u0442\u0430 LCF, \u0422\u0440\u0435\u0442\u044c\u044f \u0432\u0441\u0435\u0441\u043e\u044e\u0437\u043d\u0430\u044f \u043a\u043e\u043d\u0444\u0435\u0440\u0435\u043d\u0446\u0438\u044f \u043f\u043e \u043c\u0430\u0442.\u043b\u043e\u0433\u0438\u043a\u0435, \u0422\u0435\u0437\u0438\u0441\u044b \u0434\u043e\u043a\u043b\u0430\u0434\u043e\u0432, \u041d\u043e\u0432\u043e\u0441\u0438\u0431\u0438\u0440\u0441\u043a (1974), 191\u2013194."}],"container-title":["Lecture Notes in Computer Science","\u03bb-Calculus and Computer Science Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0029534","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,9]],"date-time":"2020-01-09T04:24:21Z","timestamp":1578543861000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0029534"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1975]]},"ISBN":["9783540074168","9783540379447"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/bfb0029534","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1975]]},"assertion":[{"value":"22 November 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}