Probabilistic -calculus and Quantitative Program Analysis
From MaRDI portal
Publication:3025332
DOI10.1093/logcom/exi008zbMath1070.03008OpenAlexW2121382061MaRDI QIDQ3025332
Herbert Wiklicky, Chris Hankin, Alessandra Di Pierro
Publication date: 13 July 2005
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exi008
Related Items (15)
Unnamed Item ⋮ Probabilistic operational semantics for the lambda calculus ⋮ Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language ⋮ Linear-algebraic λ-calculus: higher-order, encodings, and confluence. ⋮ A Type Theory for Probabilistic $$\lambda $$–calculus ⋮ The vectorial \(\lambda\)-calculus ⋮ Long-run cost analysis by approximation of linear operators over dioids ⋮ Probabilistic coherence spaces as a model of higher-order probabilistic computation ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits ⋮ Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic ⋮ Confluence Results for a Quantum Lambda Calculus with Measurements ⋮ Confluence in probabilistic rewriting ⋮ Probabilistic π-Calculus and Event Structures
This page was built for publication: Probabilistic -calculus and Quantitative Program Analysis