Pages that link to "Item:Q604478"

The following pages link to The category-theoretic solution of recursive metric-space equations (Q604478):

Displaying 10 items.

• A relational realizability model for higher-order stateful ADTs (Q444500) (← links)
• Ghost signals: verifying termination of busy waiting (Q832247) (← links)
• A Kripke logical relation for effect-based program transformations (Q2629855) (← links)
• Transfinite Step-Indexing: Decoupling Concrete and Logical Steps (Q2802498) (← links)
• The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types (Q2974778) (← 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)
• A step-indexed Kripke model of hidden state (Q4911302) (← links)
• (Q5094146) (← links)
• Logical predicates in higher-order mathematical operational semantics (Q6629517) (← links)