{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T22:40:04Z","timestamp":1736116804531,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540115762"},{"type":"electronic","value":"9783540393085"}],"license":[{"start":{"date-parts":[[1982,1,1]],"date-time":"1982-01-01T00:00:00Z","timestamp":378691200000},"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":[[1982]]},"DOI":"10.1007\/bfb0012789","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T13:00:52Z","timestamp":1132750852000},"page":"429-441","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Properties of a notation for combining functions"],"prefix":"10.1007","author":[{"given":"Jean -Claude","family":"Raoult","sequence":"first","affiliation":[]},{"given":"Ravi","family":"Sethi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,10,22]]},"reference":[{"issue":"1","key":"38_CR1","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1017\/S0022481200051914","volume":"41","author":"S. K. Abdali","year":"1976","unstructured":"S. K. Abdali, \u201cAn abstraction algorithm for combinatory logic,\u201d J. Symbolic Logic 41(1), pp. 222\u2013224 (March 1976).","journal-title":"J. Symbolic Logic"},{"key":"38_CR2","unstructured":"J. W. Backus et al., \u201cThe Fortran automatic coding system,\u201d Western joint Computer Conference, pp. 188\u2013198 (1957)."},{"key":"38_CR3","volume-title":"Lecture Notes in Computer Science 61","author":"D. Bjomer","year":"1978","unstructured":"D. Bjomer and C. B. Jones, The Vienna Development Method: The Meta-Language, Lecture Notes in Computer Science 61, Springer Verlag, Berlin (1978)."},{"key":"38_CR4","unstructured":"R. M. Burstall, J. S. Collins, and R. J. Popplestone, Programming in POP-2: Revised Edition, Dept. of Artificial Intelligence, Univ. of Edinburgh (1977)."},{"key":"38_CR5","volume-title":"Annals of Math. Studies, No. 6","author":"A. Church","year":"1941","unstructured":"A. Church, The calculi of lambda conversion, Annals of Math. Studies, No. 6, Princeton University Press, Princeton NJ (1941)."},{"key":"38_CR6","volume-title":"Combinatory Logic","author":"H. B. Curry","year":"1958","unstructured":"H. B. Curry and R. Feys, Combinatory Logic, North-Holland, Amsterdam (1958)."},{"key":"38_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-6228-2","volume-title":"The Denotational Description of Programming Languages","author":"M. J. C. Gordon","year":"1979","unstructured":"M. J. C. Gordon, The Denotational Description of Programming Languages, Springer-Verlag, New York NY (1979)."},{"key":"38_CR8","doi-asserted-by":"crossref","unstructured":"F. L. Morris, \u201cAdvice on structuring compilers and proving them correct,\u201d ACM Symposium on Principles of Programming Languages, Boston MA, pp. 144\u2013152 (October 1973).","DOI":"10.1145\/512927.512941"},{"key":"38_CR9","volume-title":"DAIMI MD-30","author":"P. D. Mosses","year":"1979","unstructured":"P. D. Mosses, \u201csis \u2014 semantics implementation system: Reference manual and user guide,\u201d DAIMI MD-30, Department of Computer Science, University of Aarhus, Denmark (August 1979)."},{"key":"38_CR10","first-page":"449","volume-title":"Lecture Notes in Computer Science 85","author":"P. D. Mosses","year":"1980","unstructured":"P. D. Mosses, \u201cA constructive approach to compiler correctness,\u201d pp. 449\u2013469 in Automata, Languages and Programming, 7th Colloquium, Noordwijkerhout, Lecture Notes in Computer Science 85, Springer-Verlag, Berlin (July 1980)."},{"key":"38_CR11","first-page":"408","volume-title":"Lecture Notes in Computer Science 107","author":"P. D. Mosses","year":"1981","unstructured":"P. D. Mosses, \u201cA semantic algebra for binding constructs,\u201d pp. 408\u2013418 in Formalization of Programming Concepts, Intl. Colloquium, Peniscola, Spain, Lecture Notes in Computer Science 107, Springer-Verlag, Berlin (April 1981)."},{"key":"38_CR12","first-page":"25","volume-title":"Lecture Notes in Computer Science 79","author":"D. M. Ritchie","year":"1980","unstructured":"D. M. Ritchie, \u201cThe evolution of the Unix time sharing system,\u201d pp. 25\u201335 in Proc. Symp. Language Design and Programming Methodology, Sydney, September 1979, ed. J. M. Tobias, Lecture Notes in Computer Science 79, Springer-Verlag, Berlin (1980)."},{"key":"38_CR13","first-page":"355","volume-title":"From Frege to G\u00f6del","author":"M. Sch\u00f6nfinkel","year":"1967","unstructured":"M. Sch\u00f6nfinkel, \u201cOn the building blocks of mathematical logic,\u201d pp. 355\u2013366 in From Frege to G\u00f6del, ed. J. van Heijenoort, Harvard University Press, Cambridge MA (1967). Written up for publication by H. Behmann in March 1924 under the title, \u201cUber die Bausteine der mathematischen Logik\u201d."},{"key":"38_CR14","first-page":"378","volume-title":"Lecture Notes in Computer Science 115","author":"R. Sethi","year":"1981","unstructured":"R. Sethi, \u201cCircular expressions: elimination of static environments,\u201d pp. 378\u2013392 in Automata, Languages and Programming, 8th Colloquium, Acre, Lecture Notes in Computer Science 115, Springer-Verlag, Berlin (July 1981). The final version will appear in Science of Computer Programming."},{"key":"38_CR15","volume-title":"TR 98","author":"R. Sethi","year":"1981","unstructured":"R. Sethi, \u201cControl flow aspects of semantics directed compiling,\u201d TR 98, Bell Laboratories, Murray Hill NJ (September 1981). For a summary see SIGPLAN 82: Symposium on Compiler Construction,Boston, (June 1982)."},{"key":"38_CR16","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0304-3975(81)90080-3","volume":"15","author":"J. W. Thatcher","year":"1981","unstructured":"J. W. Thatcher, E. G. Wagner, and J. B. Wright, \u201cMore on advice on structuring compilers and proving them correct,\u201d Theoretical Computer Science 15, pp. 223\u2013249 (1981).","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"38_CR17","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1002\/spe.4380090105","volume":"9","author":"D. A. Turner","year":"1979","unstructured":"D. A. Turner, \u201cA new implementation technique for applicative languages,\u201d Software \u2014 Practice and Experience 9(1), pp. 31\u201349 (January 1979).","journal-title":"Software \u2014 Practice and Experience"},{"key":"38_CR18","volume-title":"TR 94","author":"M. Wand","year":"1980","unstructured":"M. Wand, \u201cDeriving target code as a representation of continuation semantics,\u201d TR 94, Computer Science Department, Indiana University, Bloomington IN (July 1980)."},{"key":"38_CR19","volume-title":"TR 95","author":"M. Wand","year":"1980","unstructured":"M. Wand, \u201cDifferent advice on structuring compilers and proving them correct,\u201d TR 95, Computer Science Department, Indiana University, Bloomington IN (September 1980)."},{"key":"38_CR20","doi-asserted-by":"crossref","unstructured":"M. Wand, Ninth ACM Symposium on Principles of Programming Languages, Albuquerque NM, pp. 234\u2013241 (January 1982).","DOI":"10.1145\/582153.582179"}],"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\/BFb0012789","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T22:06:54Z","timestamp":1736114814000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0012789"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"ISBN":["9783540115762","9783540393085"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0012789","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1982]]},"assertion":[{"value":"22 October 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}