Semantics of a relational \(\lambda\)-calculus
scientific article; zbMATH DE number 7369992