# formal semantics

## denotational semantics