The following pages link to (Q5660505):
Displayed 4 items.
- A survey of state vectors (Q458456) (← links)
- Abstract data types and algebraic semantics of programming languages (Q1171877) (← links)
- Monoids of non-halting programs with tests (Q1646607) (← links)
- Axiomatization of <tt>if-then-else</tt> over possibly non-halting programs and tests (Q5269894) (← links)