Joseph E. Stoy

• Denotational Semantics