Database query languages embedded in the typed lambda calculus
scientific article; zbMATH DE number 930735