On denotational completeness.

Jean-Yves Girard

Published in: Electron. Notes Theor. Comput. Sci. (1996)

Keyphrases

operational semantics
multi dimensional
data quality
databases
machine learning
artificial intelligence
high level
data model
domain specific