{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:04:08Z","timestamp":1750309448125},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540078548"},{"type":"electronic","value":"9783540381693"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1976]]},"DOI":"10.1007\/3-540-07854-1_168","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:11:07Z","timestamp":1330186267000},"page":"137-152","source":"Crossref","is-referenced-by-count":5,"title":["Recursive program schemes and computable functionals"],"prefix":"10.1007","author":[{"given":"B. A.","family":"Trakhtenbrot","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,21]]},"reference":[{"key":"12_CR1","unstructured":"Chandra, A.K., Z.Manna, Program schemes with equality, Stanford Artifitial Intelligence Project Memo AIM-158, Stanford, 1971."},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Constable, R.L., D. Gries, On classes of program schemes, Conf. Record, 12 Symposium on switching and automata theory, 1971.","DOI":"10.1109\/SWAT.1971.19"},{"issue":"4","key":"12_CR3","first-page":"367","volume":"11","author":"Yu. L. Ershov","year":"1972","unstructured":"Ershov, Yu. L., Computable functionals of finite types, Algebra and Logic, 11, no.4 (1972), pp.367\u2013437.","journal-title":"Algebra and Logic"},{"key":"12_CR4","unstructured":"Paterson,M.S., C.E.Hewitt, Comparative schematology, Conf. Record of Project MAC, Conference on Concurrent Systems and Parallel Computation, ACM, no.9, 1970."},{"key":"12_CR5","unstructured":"Sazonov, V.Yu., On expressibility and computability of objects in Scott's LCF. In Proceedings of the Third All-Union Conference on Mathematical Logic, pp.191\u2013194, Novosibirsk, 1974 (in Russian)."},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Sazonov,V.Yu., Sequentiallity and parallely computable functionals (extended abstract), in Proceedings of the Symposium on \u2014 Calculus and Computer Science Theory, Roma, 1975, Lecture Notes in Computer Science, 37, pp.312\u2013318.","DOI":"10.1007\/BFb0029534"},{"key":"12_CR7","unstructured":"Sazonov, V.Yu., Degrees of parallelism in computations, in these Proceedings."},{"key":"12_CR8","unstructured":"Scott, D., A type-theoretical alternative to ISWIM, CUCH,OWHY, Oxford University, 1969."},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Strong, H.R., High level languages of maximum power, Conf. Record 12 Symposium on switching and automata theory, 1971.","DOI":"10.1109\/SWAT.1971.15"},{"key":"12_CR10","unstructured":"Trakhtenbrot, B.A., On universal class of program schemes, Lecture Notes in Computer Science, 5, 1973."},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Trakhtenbrot,M.B., On representation of sequential and parallel functions, in Proceedings of 4th Symposium on Mathematical Fundations of Computer Science, Lecture Notes in Computer Science, no.32, pp.411\u2013417, 1975.","DOI":"10.1007\/3-540-07389-2_226"},{"key":"12_CR12","unstructured":"Trakhtenbrot,M.B., On interpreted functions in program schemes, in System and Theoretical Programming, Novosibirsk, 1973."},{"key":"12_CR13","unstructured":"Vuillemin,J., Proof technique for recursive programs, Ph.D.Thesis, Computer Science Dept. Stanford University, Stanford, 1973."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1976"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-07854-1_168.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:58:31Z","timestamp":1605643111000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07854-1_168"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1976]]},"ISBN":["9783540078548","9783540381693"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-07854-1_168","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1976]]}}}