Pages that link to "Item:Q2988673"

The following pages link to A Higher-Order Logic for Concurrent Termination-Preserving Refinement (Q2988673):

Displaying 5 items.

• On models of higher-order separation logic (Q2130583) (← links)
• A Higher-Order Logic for Concurrent Termination-Preserving Refinement (Q2988673) (← links)
• Iris from the ground up: A modular foundation for higher-order concurrent separation logic (Q4625160) (← links)
• (Q5094146) (← links)
• (Q5155670) (← links)