Copertina

A domain-theoretic framework for conditional probability and Bayesian updating in programming

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Di Gianantonio, Pietro, Edalat, Abbas
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science Programming Languages 03B70 F.3.2
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A Language for Evaluating Derivatives of Functionals Using Automatic Differentiation
di: Di Gianantonio, Pietro, et al.
Pubblicazione: (2022)

A Cartesian Closed Category for Random Variables
di: Di Gianantonio, Pietro, et al.
Pubblicazione: (2024)

Evaluation trees for proposition algebra
di: Bergstra, Jan A., et al.
Pubblicazione: (2015)

Extracting total Amb programs from proofs
di: Berger, Ulrich, et al.
Pubblicazione: (2023)

Continuous and algebraic domains in univalent foundations
di: de Jong, Tom, et al.
Pubblicazione: (2024)

Node Replication: Theory And Practice
di: Kesner, Delia, et al.
Pubblicazione: (2022)

A Sequent Calculus Perspective on Base-Extension Semantics (Technical Report)
di: Barroso-Nascimento, Victor, et al.
Pubblicazione: (2025)

A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums
di: Ramos, Arthur, et al.
Pubblicazione: (2025)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
di: Barroso-Nascimento, Victor, et al.
Pubblicazione: (2025)

Reversible computations are computations
di: Aubert, Clément, et al.
Pubblicazione: (2025)

Bayesian Separation Logic
di: Ho, Shing Hin, et al.
Pubblicazione: (2025)

Internal Effectful Forcing in System T
di: Escardo, Martin H., et al.
Pubblicazione: (2025)

Getting Wiser from Multiple Data: Probabilistic Updating according to Jeffrey and Pearl
di: Jacobs, Bart
Pubblicazione: (2024)

Operational methods in semantics
di: Amadio, Roberto M.
Pubblicazione: (2025)

A Coherence Construction for the Propositional Universe
di: Huang, Xu
Pubblicazione: (2024)

Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics
di: Japaridze, Giorgi
Pubblicazione: (2026)

On the Relative Completeness of Satisfaction-based Quantum Hoare Logic
di: Sun, Xin, et al.
Pubblicazione: (2024)

On the Relative Completeness of Satisfaction-based Probabilistic Hoare Logic With While Loop
di: Sun, Xin, et al.
Pubblicazione: (2024)

The logic of bunched implications is undecidable
di: Galatos, Nick, et al.
Pubblicazione: (2026)

Thoughts on sub-Turing interactive computability
di: Japaridze, Giorgi
Pubblicazione: (2024)

A propositional cirquent calculus for computability logic
di: Japaridze, Giorgi
Pubblicazione: (2024)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
di: Borzechowski, Manfred, et al.
Pubblicazione: (2025)

2-Coherent Internal Models of Homotopical Type Theory
di: Chen, Joshua
Pubblicazione: (2025)

The Lambda Calculus is Quantifiable
di: Maestracci, Valentin, et al.
Pubblicazione: (2024)

Nominal techniques as an Agda library
di: Gabbay, Murdoch J., et al.
Pubblicazione: (2026)

A vector logic for intensional formal semantics
di: Quigley, Daniel
Pubblicazione: (2026)

Modelling Recursion and Probabilistic Choice in Guarded Type Theory
di: Stassen, Philipp Jan Andries, et al.
Pubblicazione: (2024)

Forall-Exists Relational Verification by Filtering to Forall-Forall
di: Nagasamudram, Ramana, et al.
Pubblicazione: (2025)

Approximate Axiomatization for Differentially-Defined Functions
di: Platzer, André, et al.
Pubblicazione: (2025)

A foundational characterization of Hoare Logic
di: Leivant, Daniel
Pubblicazione: (2026)

A proof-theoretical approach to some extensions of first order quantification
di: Allègre, Loïc, et al.
Pubblicazione: (2024)

Gödel Mirror: A Formal System For Contradiction-Driven Recursion
di: Chan, Jhet
Pubblicazione: (2025)

Meaning as Use, Application, Employment, Purpose, Usefulness
di: de Queiroz, Ruy J. G. B.
Pubblicazione: (2025)

From the Notebooks to the Investigations and Beyond
di: de Queiroz, Ruy J. G. B.
Pubblicazione: (2025)

Fracterm Calculus for Partial Meadows
di: Bergstra, Jan A., et al.
Pubblicazione: (2025)

Conditional logic as a short-circuit logic
di: Bergstra, Jan A., et al.
Pubblicazione: (2023)

Fully Evaluated Left-Sequential Logics
di: Ponse, Alban, et al.
Pubblicazione: (2024)

Propositional logic with short-circuit evaluation: a non-commutative and a commutative variant
di: Bergstra, Jan A., et al.
Pubblicazione: (2018)

Inclusion with repetitions and Boolean constants -- implication problems revisited
di: Häggblom, Matilda
Pubblicazione: (2025)

Axiomatization of approximate exclusion
di: Häggblom, Matilda
Pubblicazione: (2024)