{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:20:41Z","timestamp":1742617241368,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540620648"},{"type":"electronic","value":"9783540496373"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-62064-8_25","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:33:07Z","timestamp":1330295587000},"page":"297-309","source":"Crossref","is-referenced-by-count":2,"title":["The disjunctive constrained lambda calculus"],"prefix":"10.1007","author":[{"given":"Luis","family":"Mandel","sequence":"first","affiliation":[]},{"given":"Mar\u00eda Victoria","family":"Cengarle","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"E. Astesiano and G. Costa. Sharing in Nondeterminism. In Proc. of the 6th Int. Conference on Automata, Languages and Programming, pages 1\u201315, July 1979.","DOI":"10.1007\/3-540-09510-1_1"},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"H. P. Barendregt. Lambda Calculi with Types. In Handbook of Logic in Computer Science, chapter 13, pages 117\u2013309. Oxford University Press, 1992.","DOI":"10.1093\/oso\/9780198537618.003.0002"},{"key":"25_CR3","unstructured":"M. V. Cengarle and L. Mandel. Finite Domains in the Constrained Lambda Calculus. In Proc. of the Post-Conference Workshop on Constraints, Databases and Logic Programming. Int. Logic Programming Symposium, pages 75\u201389, Dec 1995."},{"key":"25_CR4","unstructured":"J. N. Crossley, L. Mandel, and M. Wirsing. Untyped Constrained Lambda Calculus. Technical Report Number 9318, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, October 1993. 48 pages."},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"J. N. Crossley, L. Mandel, and M. Wirsing. First Order Constrained Lambda Calculus. In Proceedings of the Conference Frontiers on Combining Systems (FroCoS), March 27\u201329 1996. 17 pages.","DOI":"10.1007\/978-94-009-0349-4_18"},{"key":"25_CR6","unstructured":"A. Knapp and L. Mandel. A Rewriting System with Explicit Substitutions for the First Order Constrained Lambda Calculus. Interne Reports der FG Programmier-systeme FR I-Passau-1994-094, FORWISS (Universit\u00e4t Passau), 1994."},{"key":"25_CR7","unstructured":"H. C. Lock, A. M\u00fcck, and T. Streicher. A tiny functional logic constraint language and its continuation semantics. In ESOP '94, Edinburgh, LNCS 788, April 1994."},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"M. G. Main. A Powerdomain Primer. Bulletin of the EATCS, 33, Oct 1987.","DOI":"10.1093\/besa\/33.1.43a"},{"key":"25_CR9","unstructured":"L. Mandel. Constrained Lambda Calculus. PhD thesis, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, December 1995. 213 pages."},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"R. Paterson. A Tiny Functional Language with Logical Features. In Declarative Programming, Sasbachwalden, 1991.","DOI":"10.1007\/978-1-4471-3794-8_5"},{"issue":"3","key":"25_CR11","first-page":"452","volume":"5","author":"G. D. Plotkin","year":"1976","unstructured":"G. D. Plotkin. A powerdomain construction. Theoretical Computer Science, 5(3):452\u2013487, September 1976.","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"25_CR12","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0022-0000(78)90048-X","volume":"16","author":"M. Smyth","year":"1978","unstructured":"M. Smyth. Power Domains. Journal of Computing and System Sciences, 16(1):23\u201326, 1978.","journal-title":"Journal of Computing and System Sciences"},{"issue":"5","key":"25_CR13","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1093\/comjnl\/35.5.514","volume":"35","author":"H. S\u00f8ndergaard","year":"1992","unstructured":"H. S\u00f8ndergaard and P. Sestoft. Nondeterminism in Functional Languages. The Computer Journal, 35(5):514\u2013523, July 1992.","journal-title":"The Computer Journal"}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62064-8_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:27:46Z","timestamp":1742599666000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62064-8_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540620648","9783540496373"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-62064-8_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}