Typability and Type-Checking in the Second-Order lambda-Calculus are Equivalent and Undecidable

Published in: LICS (1994)

Keyphrases

lambda calculus
database query languages
type checking
data types
query processor
higher order
relational calculus
relational algebra
object model
abstract data types
query language
expressive power
high level
database systems
join algorithms
similarity search
general purpose
data model