Decide on a denotational semantics for STLC to present in paper