Pages that link to "Item:Q550253"

The following pages link to Probabilistic coherence spaces as a model of higher-order probabilistic computation (Q550253):

Displaying 37 items.

• Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
• The Scott model of linear logic is the extensional collapse of its relational model (Q418011) (← links)
• Deep inference and probabilistic coherence spaces (Q452333) (← links)
• Taylor expansion, finiteness and strategies (Q2133165) (← links)
• Semantics of quantum programming languages: Classical control, quantum control (Q2168785) (← links)
• QPCF: higher-order languages and quantum circuits (Q2331073) (← links)
• Call-By-Push-Value from a Linear Logic Point of View (Q2802478) (← links)
• On quantum and probabilistic linear lambda-calculi (extended abstract) (Q2825348) (← links)
• The Free Exponential Modality of Probabilistic Coherence Spaces (Q2988358) (← links)
• Observed Communication Semantics for Classical Processes (Q2988633) (← links)
• Full Abstraction for Probabilistic PCF (Q4561511) (← links)
• Mackey-complete spaces and power series – a topological model of differential linear logic (Q4606699) (← links)
• On Banach spaces of sequences and free linear logic exponential modality (Q4611198) (← links)
• (Q4611384) (← links)
• Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: <i>a minimalist approach</i> (Q4637628) (← links)
• (Q5015215) (← links)
• (Q5018484) (← links)
• (Q5028444) (← links)
• (Q5028454) (← links)
• Linear logic in normed cones: probabilistic coherence spaces and beyond (Q5076387) (← links)
• The geometry of Bayesian programming (Q5076392) (← links)
• (Q5079739) (← links)
• (Q5079740) (← links)
• (Q5089018) (← links)
• (Q5101335) (← links)
• A deterministic rewrite system for the probabilistic λ-calculus (Q5108532) (← links)
• (Q5140265) (← links)
• Cones as a model of intuitionistic linear logic (Q5145648) (← links)
• (Q5227520) (← links)
• Non-linearity as the Metric Completion of Linearity (Q5300890) (← links)
• A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces (Q6145528) (← links)
• A coherent differential PCF (Q6178673) (← links)
• Stabilized profunctors and stable species of structures (Q6563041) (← links)
• Zeta functions and the (linear) logic of Markov processes (Q6597969) (← links)
• (Towards a) statistical probabilistic lazy lambda calculus (Q6612804) (← links)
• Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings (Q6649497) (← links)
• Multinomial and hypergeometric distributions in Markov categories (Q6653751) (← links)