{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T01:40:14Z","timestamp":1737078014503,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540433811"},{"type":"electronic","value":"9783540459880"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45988-x_17","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T02:19:02Z","timestamp":1181182742000},"page":"207-222","source":"Crossref","is-referenced-by-count":2,"title":["Constraint-Lambda Calculi"],"prefix":"10.1007","author":[{"given":"Matthias","family":"H\u00f6lzl","sequence":"first","affiliation":[]},{"given":"John N.","family":"Crossley","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,3,14]]},"reference":[{"issue":"2","key":"17_CR1","first-page":"49","volume":"21","author":"J. N. Crossley","year":"1989","unstructured":"John Newsome Crossley, Pierre Lim, and Peter John Stuckey. Interface logic programming. Australian Computer Journal, 21(2):49\u201355, 1989.","journal-title":"Australian Computer Journal"},{"key":"17_CR2","unstructured":"John Newsome Crossley, Luis Mandel, and Martin Wirsing. Una extensi\u00f3n de constraints al c\u00e1lculo lambda. In Segundo Congreso de Programaci\u00f3n Declarativa, ProDe '93, Blanes, Girona, Spain, September 29\u201330, October 1 1993, pages 203\u201316. 1993. In Spanish."},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"John Newsome Crossley, Luis Mandel, and Martin Wirsing. First-order constrained lambda calculus. In Frontiers of Combining Systems, First International Workshop, number 3 in Applied Logics, pages 339\u2013356. Kluwer Academic Publishers, 1996.","DOI":"10.1007\/978-94-009-0349-4_18"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"John Darlington, Yi-ke Guo, and Helen Pull. Introducing constraint functional logic programming. Technical report, Imperial College, Febuary 1991.","DOI":"10.1007\/978-1-4471-3794-8_2"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Bart Demoen, Mar\u00eda Garc\u00eda de la Banda, Warren Harvey, Kim Marriott, and Peter Stuckey. An overview of HAL. In Proceedings of Principles and Practice of Constraint Programming, pages 174\u2013188. Asociation for Computing Machinery, 1999.","DOI":"10.1007\/978-3-540-48085-3_13"},{"key":"17_CR6","unstructured":"Matthias H\u00f6lzl. Constraint-Lambda Calculi: Theory and Applications. PhD thesis, Ludwig-Maximilians-Universit\u00e4t, M\u00fcnchen, 2001."},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Joxan Jaffar and Jean-Louis Lassez. Constraint logic programming. In Conference Record, 14th Annual ACM Symposium on Principles of Programming Languages, Munich, West Germany, 21\u201323 Jan 1987, pages 111\u2013119. Association for Computing Machinery, 1987.","DOI":"10.1145\/41625.41635"},{"key":"17_CR8","unstructured":"Luis Mandel. Constrained Lambda Calculus. PhD thesis, Ludwig-Maximilians-Universit\u00e4t, M\u00fcnchen, 1995."},{"key":"17_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/3-540-62064-8_25","volume-title":"Perspectives of Systems Informatics","author":"L. Mandel","year":"1996","unstructured":"Luis Mandel and Mar\u00eda Victoria Cengarle. The disjunctive constrained lambda calculus. In Dines Bj\u00f8rner, Manfred Broy, and Igor Vasilevich Pottosin, eds., Perspectives of Systems Informatics, (2nd. International Andrei Ershov Memorial Conference, Proceedings), volume 1181 of Lecture Notes in Computer Science, pages 297\u2013309. Springer Verlag, 1996."},{"key":"17_CR10","unstructured":"Luis Mandel, Martin Wirsing, and John Newsome Crossley. C\u00e1lculo lambda de primer orden con constraints y la propiedad Church-Rosser. In Primer Congreso Argentino de Ciencias de la Computacion, CACIC\u201995 Proceedings, Bahia Blanca, Argentina, pages 493\u2013504. Universaidad Nacional de Sur, 1995. In Spanish."},{"key":"17_CR11","unstructured":"David McAllester and Jeffrey Mark Siskind. Nondeterministic Lisp as a substrate for constraint logic programming. In Proceedings AAAI, pages 133\u2013138, July 1993."},{"key":"17_CR12","unstructured":"Dale Miller and Gopalan Nadathur. An overview of \u03bb-prolog. In R. Kowalski and K. Bowen, eds., Proceedings of the Fifth International Conference on Logic Programming, pages 810\u2013827, 1988."},{"key":"17_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1007\/3-540-57880-3_29","volume-title":"Programming languages and systems-ESOP\u201994, 5th European Symposium on Programming","author":"A. M\u00fcck","year":"1994","unstructured":"Andy M\u00fcck, Thomas Streicher, and Hendrik C.R. Lock. A tiny constraint functional logic language and its continuation semantics. In Donald Sannella, ed., Programming languages and systems-ESOP\u201994, 5th European Symposium on Programming, Edinburgh, U.K., April 11\u201313, 1994 Proceedings, volume 788 of Lecture Notes in Computer Science, pages 439\u2013453, Berlin, 1994. Springer-Verlag."},{"key":"17_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/BFb0016844","volume-title":"1st International Conference on Constraints in Computational Logics","author":"G. Smolka","year":"1994","unstructured":"Gert Smolka. A foundation for higher-order concurrent constraint programming. In Jean-Pierre Jouannaud, ed., 1st International Conference on Constraints in Computational Logics, volume 845 of Lecture Notes in Computer Science, pages 50\u201372, Berlin, 1994. Springer-Verlag."}],"container-title":["Lecture Notes in Computer Science","Frontiers of Combining Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45988-X_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T01:17:24Z","timestamp":1737076644000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45988-X_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433811","9783540459880"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45988-x_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}