{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:29:44Z","timestamp":1725456584719},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540633884"},{"type":"electronic","value":"9783540695301"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0014548","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T04:17:33Z","timestamp":1132719453000},"page":"77-106","source":"Crossref","is-referenced-by-count":23,"title":["Cyclic lambda calculi"],"prefix":"10.1007","author":[{"given":"Zena M.","family":"Ariola","sequence":"first","affiliation":[]},{"given":"Stefan","family":"Blom","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"issue":"1","key":"4_CR1","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1017\/S0956796800000186","volume":"4","author":"M. Abadi","year":"1991","unstructured":"M. Abadi, L. Cardelli, P.-L. Curien, and J.-J. L\u00e9vy. Explicit substitutions. Journal of Functional Programming, 4(1):375\u2013416, 1991.","journal-title":"Journal of Functional Programming"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Z. M. Ariola. Relating graph and term rewriting via B\u00f6hm models. Applicable Algebra in Engineering, Communication and Computing, 7(5), 1996.","DOI":"10.1007\/BF01293598"},{"key":"4_CR3","unstructured":"Z. M. Ariola and S. Blom. Lambda calculi plus letrec. Technical Report CIS-TR97-05, Department of computer and information science, University of Oregon. ftp:\/\/ftp.cs.uoregon.edu\/pub\/ariola\/cyclic-calculi.ps."},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Z. M. Ariola and M. Felleisen. The call-by-need lambda calculus. Journal of Functional Programming, 7(3), 1997.","DOI":"10.1017\/S0956796897002724"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Z. M. Ariola, M. Felleisen, J. Maraist, M. Odersky, and P. Wadler. The call-byneed lambda calculus. In Proc. ACM Conference on Principles of Programming Languages, pages 233\u2013246, 1995.","DOI":"10.1145\/199448.199507"},{"key":"4_CR6","unstructured":"Z. M. Ariola and J. W. Klop. Lambda calculus with explicit recursion. Technical Report CIS-TR-96-04, Department of computer and information science, University of Oregon. To appear in Information and computation."},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Z. M. Ariola and J. W. Klop. Cyclic lambda graph rewriting. In Proc. Ninth Symposium on Logic in Computer Science (LICS'94), Paris, France, pages 416\u2013425, 1994.","DOI":"10.1109\/LICS.1994.316066"},{"issue":"34","key":"4_CR8","doi-asserted-by":"crossref","first-page":"207","DOI":"10.3233\/FI-1996-263401","volume":"26","author":"Z. M. Ariola","year":"1996","unstructured":"Z. M. Ariola and J. W. Klop. Equational term graph rewriting. Fundamentae Informaticae, 26(3,4):207\u2013240, 1996. Extended version: CWI Report CS-89552.","journal-title":"Fundamentae Informaticae"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Z. M. Ariola, J. W. Klop, J. R. Kennaway, F. J. de Vries, and M. R. Sleep. Syntactic definitions of undefined: On defining the undefined. In Proc. TAGS 94, Sendai, Japan, 1994.","DOI":"10.1007\/3-540-57887-0_114"},{"key":"4_CR10","unstructured":"Arvind,L. Augusston, J. Hicks,R.S. Nikhil, S. Peyton-Jones, J. Stoy,and W. Williams. pH: A Parallel Haskell. Technical report, MIT Laboratory for Computer Science, September 1993."},{"key":"4_CR11","unstructured":"Arvind, J-W. Maessen, R.S. Nikhil, and J. E. Stoy. \u03bb s : an implicitly parallel \u03bbcalculus with letrec, synchronization and side-effects. Technical Report 393, MIT Laboratory for Computer Science, 1997."},{"key":"4_CR12","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1017\/S0960129500000566","volume":"4","author":"A. Asperti","year":"1994","unstructured":"A. Asperti and C. Laneve. Interaction systems I: The theory of optimal reductions. Mathematical structures for computer science, 4:457\u2013504, 1994.","journal-title":"Mathematical structures for computer science"},{"key":"4_CR13","volume-title":"The Lambda Calculus: Its Syntax and Semantics","author":"H. P. Barendregt","year":"1984","unstructured":"H. P. Barendregt. The Lambda Calculus: Its Syntax and Semantics. North-Holland, Amsterdam, 1984."},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"H. P. Barendregt, M. C. J. D. van Eekelen, J. R. W. Glauert, J. R. Kennaway, M. J. Plasmeijer, and M. R. Sleep. Term graph rewriting. In J. W. de Bakker, A. J. Nijman, and P. C. Treleaven, editors, Proc. Conference on Parallel Architecture and Languages Europe (PARLE '87), Eindhoven, The Netherlands, Springer-Verlag LNCS 259, pages 141\u2013158, 1987.","DOI":"10.1007\/3-540-17945-3_8"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Z. Benaissa, P. Lescanne, and K.H. Rose. Modeling sharing and recursion for weak reduction strategies using explicit substitution. In PLIP'96, 1996.","DOI":"10.1007\/3-540-61756-6_99"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"S. Billot and B. Lang. The structure of shared forests in ambiguous parsing. In Proceedings of the Twenty-Seventh Annual Meeting of the Association for Computational Linguistics, 1989. Association for Computational Linguistics.","DOI":"10.3115\/981623.981641"},{"key":"4_CR17","unstructured":"B. Harper. Introduction to Standard ML. Technical report, ECS-LFCS-86-14, Laboratory for the Foundation of Computer Science, Edinburgh University, 1986."},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"M. Hasegawa. Recursion from cyclic sharing: traced monoidal categories and models of cyclic lambda calculi. In Proc. Conference on Typed Lambda Calculi and Applications, April 1997.","DOI":"10.1007\/3-540-62688-3_37"},{"issue":"5","key":"4_CR19","first-page":"1","volume":"27","author":"P. Hudak","year":"1992","unstructured":"P. Hudak, S. Peyton Jones,P. Wadler, B. Boutel, J. Fairbairn, J. Fasel, K. Hammond, J. Hughes, T. Johnsson, D. Kieburtz, R. Nikhil, W. Partain, and J. Peterson. Report on the programming language Haskell. ACM SIGPLAN Notices, 27(5):1\u201364, 1992.","journal-title":"ACM SIGPLAN Notices"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"G. Huet. Confluent reductions: Abstract properties and applications to term rewriting systems. JACM, 27(4), I980.","DOI":"10.1145\/322217.322230"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"J. R. Kennaway, J. W. Klop, M. R. Sleep, and F. J. de Vries. Infinitary lambda calculus. In Proc. Rewriting Techniques and Applications, Kaiserslautern, 1995.","DOI":"10.1007\/3-540-59200-8_62"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"P. Klint. A meta-environment for generating programming environments. In Algebraic Methods II: Theory, Tools and Applications. Springer-Verlag LNCS 490, pages 105\u2013124, 1991.","DOI":"10.1007\/3-540-53912-3_20"},{"key":"4_CR23","first-page":"1","volume-title":"Proc. ASMICS Workshop on Parsing Theory","author":"P. Klint","year":"1994","unstructured":"P. Klint and E. Visser. Using filters for the disambiguation of context-free grammars. In G. Pighizzini and P. San Pietro, editors, Proc. ASMICS Workshop on Parsing Theory, pages 1\u201320, Milano, Italy, October 1994. Tech. Rep. 126-1994, Dipartimento di Science dell'Informazione, Universit\u00e1 di Milano."},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Y. Lafont. Interaction nets. In Proc. ACM Conference on Principles of Programming Languages, San Francisco, 1990.","DOI":"10.1145\/96709.96718"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"J. Launchbury. A natural semantics for lazy evaluation. In Proc. ACM Conference on Principles of Programming Languages, pages 144\u2013154, 1993.","DOI":"10.1145\/158511.158618"},{"issue":"1","key":"4_CR26","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0304-3975(76)90009-8","volume":"2","author":"J.-J. L\u00e9vy","year":"1976","unstructured":"J.-J. L\u00e9vy. An algebraic interpretation of the \u03bb\u03b2\u03ba-calculus and an application of a labelled \u03bb-calculus. Theoretical Computer Science, 2(1):97\u2013114, 1976.","journal-title":"Theoretical Computer Science"},{"key":"4_CR27","unstructured":"J.-J. L\u00e9vy. R\u00e9ductions Correctes et Optimales dans le Lambda-Calcul. PhD thesis, Universite Paris VII, October 1978."},{"key":"4_CR28","unstructured":"LC. Mackie. The geometry of implementation. PhD thesis, University of London, 1994."},{"key":"4_CR29","doi-asserted-by":"crossref","unstructured":"J. Maraist, M. Odersky, D. Turner, and P. Wadler. Call-by-name, call-by-value, call-by-need, and the linear lambda calculus. In Proc. of Mathematical Foundations of Programming Semantics (MFPS), 1995.","DOI":"10.1016\/S1571-0661(04)00022-2"},{"key":"4_CR30","unstructured":"E. Moggi. Computational lambda calculus and monads. Technical Report ECSLFCS-88-86, Edinburgh University, 1988."},{"key":"4_CR31","doi-asserted-by":"crossref","unstructured":"J. Niehren. Functional computation as concurrent computation. In Proc. ACM Conference on Principles of Programming Languages, pages 333\u2013343, 1996.","DOI":"10.1145\/237721.237801"},{"key":"4_CR32","volume-title":"Id (version 90.1) reference manual. Technical Report 284-2","author":"R. S. Nikhil","year":"1991","unstructured":"R. S. Nikhil. Id (version 90.1) reference manual. Technical Report 284-2, MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02I39, 1991."},{"key":"4_CR33","volume-title":"The implementation of Functional Programming Languages","author":"S. L. Peyton Jones","year":"1987","unstructured":"S. L. Peyton Jones.The implementation of Functional Programming Languages. Prentice-Hall International, Englewood Cliffs, N.J., 1987."},{"key":"4_CR34","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0304-3975(75)90017-1","volume":"1","author":"G. D. Plotkin","year":"1975","unstructured":"G. D. Plotkin. Call-by-name, call-by-value and the lambda calculus. Theoretical Computer Science, 1:125\u2013159, 1975.","journal-title":"Theoretical Computer Science"},{"key":"4_CR35","unstructured":"K. H. Rose. Explicit cyclic substitutions. In M. Rusinowitch and J. L. R\u00e9my, editors, Proc. 3rd International Workshop on Conditional Term Rewriting Systems (CTRS-92), Pont-\u00e1-Mousson, France, Springer-Verlag LNCS 656, pages 36\u201350, 1992."},{"key":"4_CR36","unstructured":"D. Sangiorgi and R. Milner. Techniques of \u201cweak bisimulation up to\u201d. Technical report, 1993."},{"key":"4_CR37","doi-asserted-by":"crossref","unstructured":"P. Selinger. Order-incompleteness and finite lambda models. In Proc. Symposium on Logic in Computer Science (LICS'96), 1996.","DOI":"10.1109\/LICS.1996.561459"},{"key":"4_CR38","unstructured":"M. Tomita. Efficient Parsing for Natural Languages. A Fast Algorithm for Practical Systems. Kluwer Academic Publishers, I985."},{"key":"4_CR39","unstructured":"C. Wadsworth. Semantics and Pragmatics of the Lambda-Calculus. I971. PLD thesis, University of Oxford."}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computer Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014548","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T00:48:04Z","timestamp":1586566084000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014548"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633884","9783540695301"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/bfb0014548","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}