Können wir Funktionen über Termalgebren mit Lambda-Kalkül charakterisieren? Diese Arbeit untersucht die Lambda-Darstellbarkeit von Funktionen über offenen und geschlossenen Termalgebren. Durch die Erweiterung des Standardbegriffs der Lambda-Darstellung auf offene Terme liefern die Autoren eine rekursionstheoretische Charakterisierung von Lambda-darstellbaren Funktionen über offenen Termalgebren. Darauf aufbauend leiten sie zwei Charakterisierungen von Lambda-darstellbaren Funktionen über geschlossenen Termalgebren ab, die freie Strukturen darstellen. Der Anhang bietet eine vereinfachte Formulierung rekursiver Wortfunktionen, die ihre Beziehung zu rekursiven Funktionen auf natürlichen Zahlen und dem typfreien reinen Lambda-Kalkül untersucht. Diese Forschung vertieft unser Verständnis des Zusammenspiels zwischen Lambda-Kalkül und Termalgebren.
Dieser im International Journal of Foundations of Computer Science veröffentlichte Artikel trägt direkt zum Fokus der Zeitschrift auf die theoretischen Grundlagen der Informatik bei. Die Untersuchung der Lambda-Darstellbarkeit und der Termalgebren steht im Einklang mit dem Engagement der Zeitschrift, die mathematischen und logischen Grundlagen der Berechnung voranzutreiben.