Pages that link to "Item:Q2851672"
From MaRDI portal
The following pages link to Step-indexed relational reasoning for countable nondeterminism (Q2851672):
Displaying 6 items.
- Program equivalence in an untyped, call-by-value functional language with uncurried functions (Q2693299) (← links)
- Transfinite Step-Indexing: Decoupling Concrete and Logical Steps (Q2802498) (← links)
- Step-indexed relational reasoning for countable nondeterminism (Q2915708) (← links)
- A Higher-Order Logic for Concurrent Termination-Preserving Refinement (Q2988673) (← links)
- (Q5155670) (← links)
- Two guarded recursive powerdomains for applicative simulation (Q6653758) (← links)