Pages that link to "Item:Q3025332"

The following pages link to Probabilistic  -calculus and Quantitative Program Analysis (Q3025332):

Displaying 22 items.

• The vectorial \(\lambda\)-calculus (Q529049) (← links)
• Probabilistic coherence spaces as a model of higher-order probabilistic computation (Q550253) (← links)
• A probabilistic semantics for the pure \(\lambda\)-calculus (Q1675793) (← links)
• Probabilistic reasoning about simply typed lambda terms (Q1709701) (← links)
• Refinement algebra for probabilistic programs (Q2268474) (← links)
• Confluence in probabilistic rewriting (Q2333318) (← links)
• Measurements and confluence in quantum lambda calculi with explicit qubits (Q2825343) (← links)
• Scalar System F for linear-algebraic \(\lambda\)-calculus: towards a quantum physical logic (Q2825375) (← links)
• Confluence results for a quantum lambda calculus with measurements (Q2825377) (← links)
• \(\lambda\)-calculus and quantitative program analysis (extended abstract) (Q2849843) (← links)
• Probabilistic \(\pi\)-calculus and event structures (Q2870289) (← links)
• Probabilistic operational semantics for the lambda calculus (Q2905328) (← links)
• (Q2980972) (← links)
• A lambda-calculus foundation for universal probabilistic programming (Q2981999) (← links)
• A Type Theory for Probabilistic $$\lambda $$–calculus (Q3297838) (← links)
• Linear-algebraic λ-calculus: higher-order, encodings, and confluence. (Q3522006) (← links)
• Long-run cost analysis by approximation of linear operators over dioids (Q3583023) (← links)
• (Q5089021) (← links)
• (Q5094133) (← links)
• Stochastic lambda calculus and monads of probability distributions (Q5178903) (← links)
• Approximate Counting in SMT and Value Estimation for Probabilistic Programs (Q5194954) (← links)
• Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language (Q6151555) (← links)