# Equational Sentence Examples

equational

We look at denotational semantics, using sets and functions, the substitution lemma and

**equational**theory.It is proved using a direct axiomatization of Kleisli categories of

**equational**lifting monads.Our framework allows

**equational**reasoning of non-deterministic functions, even tho it is possible to specify non-determinism.Advertisement