Pages that link to "Item:Q753944"

The following pages link to Solving reflexive domain equations in a category of complete metric spaces (Q753944):

Displaying 29 items.

• Final coalgebras in accessible categories (Q3094168) (← links)
• Coalgebraic Representation Theory of Fractals (Q3178264) (← links)
• The limit–colimit coincidence theorem for -categories (Q3559972) (← links)
• Realisability semantics of parametric polymorphism, general references and recursive types (Q3583027) (← links)
• Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types (Q3617747) (← links)
• Nested Hoare Triples and Frame Rules for Higher-Order Store (Q3644765) (← links)
• A Note on Hyperspaces and Terminal Coalgebras (Q4256321) (← links)
• Processes as terms: non-well-founded models for bisimulation (Q4279257) (← links)
• Pseudo-superstructures as nonstandard universes (Q4391432) (← links)
• (Q4499206) (← links)
• Bisimulation for probabilistic transition systems: A coalgebraic approach (Q4571977) (← links)
• Iris from the ground up: A modular foundation for higher-order concurrent separation logic (Q4625160) (← links)
• Extending set functors to generalised metric spaces (Q4625693) (← links)
• Generalizing finiteness conditions of labelled transition systems (Q4632441) (← links)
• A step-indexed Kripke model of hidden state (Q4911302) (← links)
• A Coalgebraic View of Infinite Trees and Iteration (Q4917030) (← links)
• StkTokens<i>: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities</i> (Q5016212) (← links)
• (Q5094146) (← links)
• Processes and hyperuniverses (Q5096893) (← links)
• Step-Indexed Kripke Model of Separation Logic for Storable Locks (Q5739354) (← links)
• Realization of Coinductive Types (Q5739360) (← links)
• A structural co-induction theorem (Q5890042) (← links)
• Three metric domains of processes for bisimulation (Q5890043) (← links)
• Topological models for higher order control flow (Q5890044) (← links)
• The asymmetric topology of computer science (Q5890065) (← links)
• An introduction to metric semantics: Operational and denotational models for programming and specification languages (Q5941193) (← links)
• Sets with structure, mappings and fixed point property: fixed point structures (Q6180625) (← links)
• A process calculus for spiking neural P systems (Q6191634) (← links)
• Abstraction and subsumption in modular verification of C programs (Q6535970) (← links)