"Functional Database Query Languages as Typed Lambda Calculi of Fixed Order."

Gerd G. Hillebrand, Paris C. Kanellakis (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics