{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T22:28:17Z","timestamp":1762295297890},"reference-count":11,"publisher":"EDP Sciences","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO. Inform. th\u00e9or."],"published-print":{"date-parts":[[1983]]},"DOI":"10.1051\/ita\/1983170100711","type":"journal-article","created":{"date-parts":[[2017,2,6]],"date-time":"2017-02-06T15:30:43Z","timestamp":1486395043000},"page":"71-88","source":"Crossref","is-referenced-by-count":3,"title":["Right and left invertibility in $\\lambda - \\beta $-calculus"],"prefix":"10.1051","volume":"17","author":[{"given":"I.","family":"Margaria","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Zacchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"250","published-online":{"date-parts":[[2011,1,8]]},"reference":[{"key":"R1","unstructured":"1. BARENDREGT H. P., The Lambda Calculus, its Sintax and Semantics, North-Holland, Amsterdam, 1981.6229120467.03010"},{"key":"R2","unstructured":"2. BERGSTRA J. and KLOP J. W., Invertible Terms in the Lambda Calculas, Theor., Comp. Sci., vol 9, 1980, p. 27-38.535122"},{"key":"R3","unstructured":"3. B\u00d6HM C., Alcune propriet\u00e0 d\u00e9lie formefi \u03b2-\u03b7-normalinel \u03bb-k calcolo. Pubblicazioni dell'Istituto per le Applicazioni del Calcolo, n. 696, Roma, 1968."},{"key":"R4","doi-asserted-by":"crossref","unstructured":"4. B\u00d6HM C. and DEZANI-CIANCAGLINI M., Combinatorial problems, combinator equations and normal forms, Springer L. N. C. S., n\u00b0 14, 1974, p. 185-199.4295000309.68037","DOI":"10.1007\/978-3-662-21545-6_13"},{"key":"R5","unstructured":"5. CHURCH A., Combinatory logic as a semigroup (abstract), Bull. Amer. Math. Soc., vol. 43, 1937, p. 333."},{"key":"R6","unstructured":"6. CHURCH A., The Calculi of Lambda Conversion, Princeton University Press, Princeton, 1941.52740026.2420567.0041.01"},{"key":"R7","unstructured":"7. CURRY H. B. and FEYS R., Combinatory Logic, vol. 1, North-Holland, Amsterdam, 1958.942980081.24104"},{"key":"R8","unstructured":"8. DEZANI-CIANCAGLINI M., Pattern-Matching Problems inside \u03bb-\u03b2-\u03b7 calculus, Proceedings Informatica 76, Bied, 1976."},{"key":"R9","doi-asserted-by":"crossref","unstructured":"9. DEZANI-CIANCAGLINI M., Characterization of normal forms possessing inverse in the \u028b-\u03b2-\u03b7 calculus, Theor. Comput. Sci., vol. 2, 1976, p. 323-337.4444440368.02028","DOI":"10.1016\/0304-3975(76)90085-2"},{"key":"R10","doi-asserted-by":"crossref","unstructured":"10. L\u00c9VY J. J., An algebraic interpretation of the \u03bb-\u03b2-k-Calculus and an application of a labelled \u03bb-Calculus, Theor. Comput. Sci., vol. 2, 1976, p. 97-114.4091290335.02016","DOI":"10.1016\/0304-3975(76)90009-8"},{"key":"R11","doi-asserted-by":"crossref","unstructured":"11. WADSWORTH C. P., The relation between computational and denotational properties for Scott's D\u221a-models of the lambda-calculus, SIAM J. Comput., vol. 5, 1976, p. 488-521.5053080346.02013","DOI":"10.1137\/0205036"}],"container-title":["RAIRO. Informatique th\u00e9orique"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1983170100711\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,18]],"date-time":"2019-09-18T09:32:56Z","timestamp":1568799176000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1983170100711"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"references-count":11,"journal-issue":{"issue":"1"},"alternative-id":["ita1983170100711"],"URL":"https:\/\/doi.org\/10.1051\/ita\/1983170100711","relation":{},"ISSN":["0399-0540"],"issn-type":[{"value":"0399-0540","type":"print"}],"subject":[],"published":{"date-parts":[[1983]]}}}