Pages that link to "Item:Q5312999"

The following pages link to Algebraic Methodology and Software Technology (Q5312999):

Displayed 3 items.

• A coinductive calculus for asynchronous side-effecting processes (Q393094) ‎ (← links)
• A generic complete dynamic logic for reasoning about purity and effects (Q973056) ‎ (← links)
• Kleene Monads: Handling Iteration in a Framework of Generic Effects (Q2888474) ‎ (← links)