Pages that link to "Item:Q1347995"
From MaRDI portal
The following pages link to A source of inconsistency in theories of nondeterministic functions (Q1347995):
Displaying 4 items.
- Modelling higher-order dual nondeterminacy (Q938301) (← links)
- Dual unbounded nondeterminacy, recursion, and fixpoints (Q995749) (← links)
- BGSL: an imperative language for specification and refinement of backtracking programs (Q2096419) (← links)
- Bunch theory: axioms, logic, applications and model (Q6561347) (← links)