Veröffentlichung

Titel:
A Simply Numbered Lambda Calculus
AutorInnen:
Friedrich Steimann
Kategorie:
Konferenzbandbeiträge
erschienen in:
Eelco Visser Commemorative Symposium 2023: 24:1-24:12
Abstract:

While programming languages traditionally lean towards functions, query languages are often relational in character. Taking the relations language of Harkes and Visser as a starting point, I explore how the functional paradigm, represented by the lambda calculus, can be extended to form the basis of a relational language. It turns out that a straightforward extension with strings of terms not only supports surprisingly many features of the relations language, but also opens it up for higher-order relations, one prominent feature the relations language does not offer.

Download:
electronic edition via DOI (open access)
Michael Paap | 10.05.2024