Pages that link to "Item:Q1377300"

The following pages link to The connection between initial and unique solutions of domain equations in the partial order and metric approach (Q1377300):

Displaying 5 items.

• A relational realizability model for higher-order stateful ADTs (Q444500) (← links)
• The category-theoretic solution of recursive metric-space equations (Q604478) (← links)
• Metric completion versus ideal completion (Q672047) (← links)
• Denotational semantics for thread algebra (Q2469153) (← links)
• Realisability semantics of parametric polymorphism, general references and recursive types (Q3583027) (← links)