Travelled to:
1 × France
Collaborated with:
M.Wand
Talks about:
semant (1) model (1) denot (1) term (1) oper (1) base (1) use (1)
Person: Gregory T. Sullivan
DBLP: Sullivan:Gregory_T=
Contributed to:
Wrote 1 papers:
- POPL-1997-WandS #semantics #using
- Denotational Semantics Using an Operationally-Based Term Model (MW, GTS), pp. 386–399.