{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:25Z","timestamp":1725663685439},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540523352"},{"type":"electronic","value":"9783540469636"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-52335-9_59","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:31:07Z","timestamp":1330205467000},"page":"275-285","source":"Crossref","is-referenced-by-count":1,"title":["On connections between classical and constructive semantics"],"prefix":"10.1007","author":[{"given":"S. S.","family":"Starchenko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. A.","family":"Voronkov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Kolmogorov, A.N.: Zur Deutung der intuitionistische Logic. Math. Z. (1932), v.35","DOI":"10.1007\/BF01186549"},{"key":"17_CR2","doi-asserted-by":"crossref","first-page":"109","DOI":"10.2307\/2269016","volume":"10","author":"S.C. Kleene","year":"1945","unstructured":"Kleene S.C.: On the interpretation of intuitionistic number theory. J Symb. Logic, (1945), v.10, 109\u2013124","journal-title":"J Symb. Logic"},{"key":"17_CR3","unstructured":"Kreisel G.: Interpretation of analysis by means of constructive functionals of finite types. Constructivity of Mathematics, North Holland, (1959), 101\u2013128"},{"issue":"3\/4","key":"17_CR4","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1111\/j.1746-8361.1958.tb01464.x","volume":"12","author":"K. G\u00f6del","year":"1958","unstructured":"G\u00f6del K.: Uber eine noch nicht benutzte Erweiterung des finiten Standpunktes. Dialectica, 3\/4, (1958), v.12, 280\u2013287","journal-title":"Dialectica"},{"key":"17_CR5","unstructured":"Kleene S.C.: Vesley R.Y. The foundations of intuitionistic mathematics. North Holland, (1956)"},{"key":"17_CR6","unstructured":"Howard W.A.: The formulae-as-types notion of construction. Festschrist on the Occasion of H.B.Curry's 80th Birthday, Academic Press, (1980), 479\u2013490"},{"key":"17_CR7","unstructured":"Diller J.: Modified realization and the formulae-as-types notion, Ibid, 491\u2013502"},{"issue":"32","key":"17_CR8","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1016\/0168-0072(86)90050-3","volume":"2","author":"C. McCarthy","year":"1986","unstructured":"McCarthy Ch.: Realizability and recursive set theory. Ann. Pure and Appl. Log., 2 (1986), 32, 153\u2013184","journal-title":"Ann. Pure and Appl. Log."},{"key":"17_CR9","unstructured":"Ershov Yu.L.: Decidability problems and constructive models. Moscow, Nauka, (1980) (In Russian)"},{"key":"17_CR10","first-page":"159","volume":"2","author":"N.N. Nepeivoda","year":"1982","unstructured":"Nepeivoda N.N., Sviridenko D.I.: On the theory of program synthesis, Trudy Math. Inst., 2(1982), 159\u2013175","journal-title":"Trudy Math. Inst."},{"key":"17_CR11","unstructured":"Voronkov A.A.: Automatic program synthesis and realizability. Matematicheskie Osnovy Raspoznavaniya Obrasov, Erevan, Acad. Sci. of Armenian SSR, (1985), 38\u201340 (In Russian)"},{"key":"17_CR12","first-page":"296","volume":"1","author":"V.E. Plisko","year":"1987","unstructured":"Plisko V.E.: On language with constructive logical connectives. Soviet Math. Doklady, 1 (1987), v.296","journal-title":"Soviet Math. Doklady"},{"key":"17_CR13","first-page":"25","volume":"8","author":"A.A Voronkov","year":"1988","unstructured":"Voronkov A.A: Model theory based on constructive notion of truth. Trudy Math. Inst., Novosibirsk, (1988), v.8, 25\u201342 (In Russian)","journal-title":"Trudy Math. Inst., Novosibirsk"},{"key":"17_CR14","first-page":"32","volume":"23","author":"A.A. Voronkov","year":"1986","unstructured":"Voronkov A.A.: Logic programs and their synthesis. Preprint of Math. Inst., Novosibirsk, 23(1986), p.32 (In Russian)","journal-title":"Preprint of Math. Inst., Novosibirsk"},{"key":"17_CR15","first-page":"42","volume":"24","author":"A.A. Voronkov","year":"1986","unstructured":"Voronkov A.A.: Synthesis of logic programs. 24(1986), p.42.","journal-title":"Preprint of Math. Inst., Novosibirsk"},{"key":"17_CR16","unstructured":"Ershov Yu.L.: Theory of enumerations. Moscow, Nauka, 1977 (In Russian)"},{"key":"17_CR17","doi-asserted-by":"crossref","first-page":"577","DOI":"10.1007\/BFb0012801","volume":"140","author":"D.S. Scott","year":"1982","unstructured":"Scott D.S.: Domains for denotational semantics Lect. Notes in Comp. Sci. 1982. v.140. 577\u2013612","journal-title":"Notes in Comp. Sci."},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"Kamimura T., Tang J.: Effectively given spaces. Theoretical Comp. Sci. (1984)","DOI":"10.1016\/0304-3975(84)90016-1"},{"issue":"1","key":"17_CR19","doi-asserted-by":"crossref","first-page":"27","DOI":"10.2307\/2964334","volume":"27","author":"R. Harrop","year":"1962","unstructured":"Harrop R.: Concerning formulas of the types A\u2192BvC, A\u2192(Ex)B(x) in intuitionistic formal system. J. Symb. Logic, 1(1962), v.27, 27\u201332","journal-title":"J. Symb. Logic"},{"key":"17_CR20","unstructured":"Goad C.A.: Computational uses of the manipulation of formal proofs. Stanford Univ. Tech. Report, CS-80-819, (1980), p.122"}],"container-title":["Lecture Notes in Computer Science","COLOG-88"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52335-9_59.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:23:57Z","timestamp":1605648237000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52335-9_59"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540523352","9783540469636"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-52335-9_59","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}