Similar Items: Evidence-Tracked Tape Semantics for Probabilistic Computation
- Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
- On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic
- Probabilistic-bit Guided CDCL for SAT Solving using Ising Consensus Assumptions
- Efficient Decision Procedures for RNmatrix Semantics
- Continuations and Completeness in Proof-theoretic Semantics
- Non-negative Rational Semantic Numeration Systems