Pages that link to "Item:Q541217"

The following pages link to Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language (Q541217):

Displaying 2 items.

• The expectation monad in quantum foundations (Q320204) (← links)
• Generic weakest precondition semantics from monads enriched with order (Q890376) (← links)