Hostname: page-component-848d4c4894-xfwgj Total loading time: 0 Render date: 2024-06-20T04:00:01.690Z Has data issue: false hasContentIssue false

Defining data structures via Böhm-out1

Published online by Cambridge University Press:  07 November 2008

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

Abstract

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.

Type
Articles
Copyright
Copyright © Cambridge University Press 1995

References

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

Discussions

No Discussions have been published for this article.