{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:22:40Z","timestamp":1725456160677},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600176"},{"type":"electronic","value":"9783540494041"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0022249","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T01:12:29Z","timestamp":1132621949000},"page":"91-105","source":"Crossref","is-referenced-by-count":1,"title":["Lambda representation of operations between different term algebras"],"prefix":"10.1007","author":[{"given":"Marek","family":"Zaionc","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0304-3975(85)90135-5","volume":"39","author":"C. B\u00f6hm","year":"1985","unstructured":"Corrado B\u00f6hm and Allessandro Berarducci, Automatic synthesis of typed \u03bb programs on term algebras, Theoretical Computer Science 39 (1985) 135\u2013154","journal-title":"Theoretical Computer Science"},{"key":"7_CR2","unstructured":"Daniel Leivant Subrecursion and lambda representation over free algebras, in S. Buss and P Scott (eds.), Feasible Mathematics (Proceedings of June 1988 Workshop at Cornell)"},{"key":"7_CR3","unstructured":"Madry M, On the \u03bb definable functions between numbers, words and trees Fundamenta Informaticae, 1991"},{"key":"7_CR4","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/BF02276799","volume":"17","author":"H. Schwichtenberg","year":"1975\u201376","unstructured":"Schwichtenberg H., Definierbare Funktionen im \u03bb-Kalk\u00fcl mit Typen, Arch Math. Logik Grundlagenforsch 17 (1975\u201376) pp 113\u2013114.","journal-title":"Arch Math. Logik Grundlagenforsch"},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/0304-3975(79)90006-9","volume":"9","author":"R. Statman","year":"1979","unstructured":"Statman R., Intuitionistic propositional logic is polynomial-space complete, Theoretical Computer Science 9, 67\u201372 (1979)","journal-title":"Theoretical Computer Science"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90077-6","volume":"52","author":"M. Zaionc","year":"1987","unstructured":"Zaionc M., Word operations definable in the typed \u03bb calculus, Theoretical Computer Science 52 (1987) pp. 1\u201314","journal-title":"Theoretical Computer Science"},{"issue":"No.1","key":"7_CR7","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0890-5401(90)90019-E","volume":"89","author":"M. Zaionc","year":"1990","unstructured":"Zaionc M., A Characteristic of \u03bb definable Tree Operations, Information and Computation 89 No.1, (1990) 35\u201346","journal-title":"Information and Computation"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1016\/0168-0072(91)90019-I","volume":"51","author":"M. Zaionc","year":"1991","unstructured":"Zaionc M., \u03bb definability on free algebras, Annals of Pure and Applied Logic 51 (1991) pp 279\u2013300.","journal-title":"Annals of Pure and Applied Logic"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022249","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,5]],"date-time":"2019-02-05T01:44:43Z","timestamp":1549331083000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022249"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600176","9783540494041"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/bfb0022249","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}