Type checking and typability in domain-free lambda calculi.

Koji Nakazawa Makoto Tatsuta Yukiyoshi Kameyama Hiroshi Nakano

Published in: Theor. Comput. Sci. (2011)

Keyphrases

type checking
data types
database
relational databases
multi dimensional
data management
query execution
database query languages