The following pages link to (Q4649541):
Displaying 5 items.
- A Kripke logical relation for effect-based program transformations (Q2629855) (← links)
- Transfinite Step-Indexing: Decoupling Concrete and Logical Steps (Q2802498) (← links)
- On the Versatility of Open Logical Relations (Q5041087) (← links)
- (Q5155670) (← links)
- Logical Relations and Nondeterminism (Q5256338) (← links)