{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:47:31Z","timestamp":1725662851364},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540088608"},{"type":"electronic","value":"9783540358077"}],"license":[{"start":{"date-parts":[[1978,1,1]],"date-time":"1978-01-01T00:00:00Z","timestamp":252460800000},"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":[[1978]]},"DOI":"10.1007\/3-540-08860-1_14","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T11:33:25Z","timestamp":1330169605000},"page":"177-191","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["On the power of self-application and higher type recursion"],"prefix":"10.1007","author":[{"given":"W.","family":"Damm","sequence":"first","affiliation":[]},{"given":"E.","family":"Fehr","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/0096-0551(75)90017-X","volume":"1","author":"S. K. Abdali","year":"1976","unstructured":"ABDALI, S.K. A lambda-calculus model of programming languages I, II\nJournal of Computer Languages, Vol. 1, Pergamon Press, (1976), pp. 287\u2013320","journal-title":"Journal of Computer Languages"},{"key":"14_CR2","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/3-540-08138-0_5","volume":"48","author":"W. Damm","year":"1977","unstructured":"DAMM, W. Higher type program schemes and their tree languages\nProc. 3rd GI conference on Theoretical Computer Science Lecture Notes in Computer Science 48 (1977), pp. 51\u201372 Springer Verlag","journal-title":"Lecture Notes in Computer Science"},{"key":"14_CR3","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1007\/3-540-08342-1_13","volume":"52","author":"W. Damm","year":"1977","unstructured":"DAMM, W. Languages defined by higher type program schemes\nProc. 4th international colloquium on Automata, Languages, and Programming, Lecture Notes in Computer Science 52 (1977), pp. 164\u2013179, Springer Verlag","journal-title":"Lecture Notes in Computer Science"},{"key":"14_CR4","unstructured":"DAMM, W. The IO and OI hierarchies\nSchriften zur Informatik und Angewandten Mathematik, RWTH Aachen (1978)"},{"key":"14_CR5","unstructured":"DAMM, W. Procedure schemes\nSchriften z. Inform. u. Angew. Math., RWTH Aachen (1978)"},{"key":"14_CR6","unstructured":"DAMM, W. \/ FEHR, E. \/ INDERMARK, K. Higher type recursion and self-application as control structures\nProc. 1977 IFIP working conference on Formal Description of Programming Concepts, ed. E. Neuhold, North-Holland Publishing Company"},{"key":"14_CR7","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1007\/BFb0029528","volume":"37","author":"H. Egli","year":"1975","unstructured":"EGLI, H. Typed meaning in Scott's \u03bb-calculus models\nProc. 1975 Symposium on \u03bb-calculus in Rome, Lecture Notes in Computer Science 37 (1975), pp. 220\u2013239, Springer Verlag","journal-title":"Lecture Notes in Computer Science"},{"issue":"3","key":"14_CR8","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/0022-0000(78)90051-X","volume":"15","author":"J. Engelfriet","year":"1978","unstructured":"ENGELFRIET, J. \/ SCHMIDT, E.M. IO and OI part I and II\nJournal of Computer and System Sciences Vol. 15, Number 3, and Vol. 16, Number 1, pp. 67\u201399 (1978)","journal-title":"Journal of Computer and System Sciences"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"FEHR, E. Eine universelle Lambda-Kalk\u00fcl-Programmiersprache und ihr Interpreter\nInformatik-Berichte, Universit\u00e4t Bonn, Nr. 6 (1975)","DOI":"10.1007\/3-540-07407-4_27"},{"key":"14_CR10","unstructured":"FEHR, E. On typed and untyped \u03bb-schemes\nSchriften zur Informatik und Angewandten Mathematik, RWTH Aachen (1978)"},{"key":"14_CR11","unstructured":"FISCHER, M.J. Grammars with macro-like productions\nProc. 9th IEEE conference on Switching and Automata Theory (1968), pp. 131\u2013142"},{"issue":"1","key":"14_CR12","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J. A. Goguen","year":"1977","unstructured":"GOGUEN, J.A. \/ THATCHER, J.W. \/ WAGNER, E.G. \/ WRIGHT, J.B. Initial Algebra Semantics and Continuous Algebras\nJACM, Vol. 24, 1 (1977), pp. 68\u201395","journal-title":"JACM"},{"key":"14_CR13","unstructured":"GORDON, M. Operational reasoning and denotational semantics Memo AIM-264, Comp. Sci. Dept., Stanford University"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"McGOWAN, C.L. The correctness of a modified SECD machine\nSecond ACM Symposium on Theory of Computing (1970)","DOI":"10.1145\/800161.805160"},{"key":"14_CR15","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1007\/3-540-07854-1_198","volume":"45","author":"K. Indermark","year":"1976","unstructured":"INDERMARK, K. Schemes with recursion on higher types\nProc. 5th conference on Mathematical Foundations of Computer Science, Lecture Notes in Computer Science 45 (1976), Springer Verlag, pp. 352\u2013358","journal-title":"Lecture Notes in Computer Science"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"LANDIN, P.J. A correspondence between ALGOL 60 and Church's Lambda notation\nComm. ACM, 8 (1965)","DOI":"10.1145\/363744.363749"},{"key":"14_CR17","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/BF00289503","volume":"2","author":"H. Langmaack","year":"1973","unstructured":"LANGMAACK, H. On procedures as open subroutines I, II\nActa Informatica, Vol. 2 (1973), p. 311\u2013333, and Vol. 3 (1974), p. 227\u2013241","journal-title":"Acta Informatica"},{"issue":"3","key":"14_CR18","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1145\/356589.356592","volume":"3","author":"H. Ledgard","year":"1971","unstructured":"LEDGARD, H. Ten mini languages: A study of topical issues in programming languages\nComputing Surveys, Vol. 3, No. 3 (Sept. 1971), p. 115\u2013146","journal-title":"Computing Surveys"},{"key":"14_CR19","unstructured":"MILNE, R. \/ STRACHEY, C. A theory of programming language semantics part a and b, Chapman and Hall (1976)"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"MILNER, R. Models of LCF Memo AIM-186, Stanford University (1973)","DOI":"10.21236\/AD0758645"},{"key":"14_CR21","unstructured":"MOSSES, P. The mathematical semantics of ALGOL 60 PRG-Report, Oxford University (1974)"},{"key":"14_CR22","unstructured":"NIVAT, M. Languages alg\u00e9briques sur le magma libre et s\u00e9mantique des sch\u00e9mas de programme\nAutomata, Languages, and Programming, ed. Nivat, (1972), pp. 293\u2013307, North-Holland Publishing Company"},{"key":"14_CR23","unstructured":"NIVAT, M. On the interpretation of recursive program schemes\nSymposia Matematica, Atti del convegno d'Informatica theorica (1972), Rome"},{"key":"14_CR24","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BFb0073967","volume":"274","author":"D. Scott","year":"1972","unstructured":"SCOTT, D. Continuous lattices\nProc. of Dalhousie conference, Lecture Notes in Mathematics 274 (1972), pp. 97\u2013134, Springer Verlag","journal-title":"Lecture Notes in Mathematics"},{"key":"14_CR25","doi-asserted-by":"crossref","unstructured":"WADSWORTH, C. The relation between computational and denotational properties for Scott's D\n\u221e-models of the lambda-calculus\nSIAM, J. Computing, Vol. 5, No. 3 (Sept. 1976)","DOI":"10.1137\/0205036"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08860-1_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T08:33:46Z","timestamp":1558254826000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08860-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9783540088608","9783540358077"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-08860-1_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1978]]},"assertion":[{"value":"26 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}