Equational Sentence Examples

equational
  • We look at denotational semantics, using sets and functions, the substitution lemma and equational theory.

    2
    0
  • It is proved using a direct axiomatization of Kleisli categories of equational lifting monads.

    1
    0
  • Our framework allows equational reasoning of non-deterministic functions, even tho it is possible to specify non-determinism.

    1
    0
    Advertisement