On Denotational Completeness.

Jean-Yves Girard

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

Keyphrases

operational semantics
cooperative
machine learning
computational intelligence
data quality
formal semantics