Denotational Semantics

Denotation semantics for simple language