Hostname: page-component-7479d7b7d-wxhwt Total loading time: 0 Render date: 2024-07-13T20:22:50.933Z Has data issue: false hasContentIssue false

Defining data structures via Böhm-out1

Published online by Cambridge University Press:  07 November 2008

Enrico Tronci
Dipartimento Matematica Pura ed Applicata, Università di L'Aquila,2Via Vetoio, Coppito, 67100 L'Aquila, Italy (e-mail:
Rights & Permissions [Opens in a new window]


Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

We show that any recursively enumerable subset of a data structure can be regarded as the solution set to a Böhm-out problem.

Copyright © Cambridge University Press 1995


Barendregt, H. P. (1984) The Lambda-calculus. North-Holland.Google Scholar
Böhm, C. and Berarducci, A. (1985) Automatic synthesis of typed Λ-programs on term algebras. Theoretical Computer Science, 39, 135154.Google Scholar
Burris, S. and Sankappanavar, H. P. (1981) A Course in Universal Algebra. Graduate Texts in Mathematics 78. Springer-Verlag.Google Scholar
Leivant, D. (1981) Reasoning about functional programs and complexity classes associated with type disciplines. 24th Ann. Symp. on Foundation of Computer Science, pp. 460469.Google Scholar
Statman, R. (1989) On sets of solutions to combinator equations. Theoretical Computer Science, 66, 99104.CrossRefGoogle Scholar
Tronci, E. (1991a) Equational programming in λ-calculus. Proc. LICS 91,AmsterdamJuly 15–18,IEEE Computer Society, pp. 191202.Google Scholar
Tronci, E. (1991b) Equational programming in λ-calculus via SL-systems. PhD thesis, Department of Mathematics, Carnegie Mellon University.Google Scholar
Submit a response


No Discussions have been published for this article.