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)