Model Theory of Denotational Semantics.

Thomas Streicher

Published in: ADT (1984)

Keyphrases

probabilistic model
formal model
computational model
mathematical model
theoretical framework
probability distribution
database
multi agent systems
knowledge discovery
software engineering