Login / Signup
Denotational Semantics Using an Operationally-Based Term Model.
Mitchell Wand
Gregory T. Sullivan
Published in:
POPL (1997)
Keyphrases
</>
computational model
databases
probabilistic model
objective function