Pages that link to "Item:Q1295293"

The following pages link to Denotational models for programming languages: Applications of Banach's fixed point theorem (Q1295293):

Displaying 14 items.

• A fixed point theorem for cyclic generalized contractions in metric spaces (Q375411) (← links)
• Hyperspaces of a weightable quasi-metric space: application to models in the theory of computation (Q614291) (← links)
• The Banach fixed point theorem in fuzzy quasi-metric spaces with application to the domain of words (Q886315) (← links)
• CPO semantics of timed interactive actor networks (Q959824) (← links)
• The Hausdorff fuzzy quasi-metric (Q968925) (← links)
• General versions of the Ekeland variational principle: Ekeland points and stop and go dynamics (Q2082251) (← links)
• On quasi-metric aggregation functions and fixed point theorems (Q2445564) (← links)
• Coincidence and fixed points for maps on topological spaces (Q2460844) (← links)
• The complexity space of partial functions: a connection between complexity analysis and denotational semantics (Q3008383) (← links)
• A quasi-metric computational model from modular functions on monoids (Q3643150) (← links)
• (Q5389726) (← links)
• Denotational semantics for programming languages, balanced quasi-metrics and fixed points (Q5459745) (← links)
• On the structure of the space of complexity partial functions (Q5459746) (← links)
• Metric semantics for true concurrent real time (Q5940931) (← links)