Pages that link to "Item:Q2802498"

The following pages link to Transfinite Step-Indexing: Decoupling Concrete and Logical Steps (Q2802498):

Displaying 3 items.

• A Higher-Order Logic for Concurrent Termination-Preserving Refinement (Q2988673) (← links)
• (Q5094146) (← links)
• Coinduction in Flow: The Later Modality in Fibrations (Q5875348) (← links)