The expressive power of higher-order types or, life without CONS.

Published in: J. Funct. Program. (2001)

Keyphrases

expressive power
higher order
data complexity
first order logic
query language
transitive closure
relational algebra
computational properties
database
database query languages
pattern queries
pairwise
data model
relation algebra