Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (0)

by G G Hillebrand, P C Kanellakis
Venue:1994 ACM Symposium on Principles of Database Systems