Image de couverture de livre

Central Limits via Dilated Categories

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Basold, Henning, Flynn-Connolly, Oisín, Ford, Chase, Wang, Hao
Format:	Preprint
Publié:	2026
Sujets:	Logic in Computer Science Probability G.3; F.3
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Separation Logic of Generic Resources via Sheafeology
par: van Starkenburg, Berend, et autres
Publié: (2025)

A Type Theory for Probabilistic and Bayesian Reasoning
par: Adams, Robin, et autres
Publié: (2015)

Random Variables, Conditional Independence and Categories of Abstract Sample Spaces
par: Stein, Dario
Publié: (2025)

Finitely Presentable Higher-Dimensional Automata and the Irrationality of Process Replication
par: Basold, Henning, et autres
Publié: (2023)

An Expressive Coalgebraic Modal Logic for Cellular Automata
par: Basold, Henning, et autres
Publié: (2025)

A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming
par: Piedeleu, Robin, et autres
Publié: (2024)

Centralized vs Decentralized Monitors for Hyperproperties
par: Aceto, Luca, et autres
Publié: (2024)

Interpreting De Finetti's theorem in the Category of Integrable Cones (long version)
par: Raphaëlle, Crubillé
Publié: (2026)

Towards the type safety of Pure Subtype Systems (Full version)
par: Pasquale, Valentin, et autres
Publié: (2024)

Partial Typing for Asynchronous Multiparty Sessions
par: Barbanera, Franco, et autres
Publié: (2024)

Formal Verification of COO to CSR Sparse Matrix Conversion (Invited Paper)
par: Appel, Andrew W.
Publié: (2025)

Implementing Dependent Type Theory Inhabitation and Unification
par: Norman, Chase, et autres
Publié: (2026)

Canonical for Automated Theorem Proving in Lean
par: Norman, Chase, et autres
Publié: (2025)

Calculational Design of Hyperlogics by Abstract Interpretation
par: Cousot, Patrick, et autres
Publié: (2024)

Graphical Quadratic Algebra
par: Stein, Dario, et autres
Publié: (2024)

SAT problem and Limit of Solomonoff's inductive reasoning theory
par: Pan, Feng
Publié: (2025)

An Adequate While-Language for Stochastic Hybrid Computation
par: Neves, Renato, et autres
Publié: (2025)

Trocq: Proof Transfer for Free, With or Without Univalence
par: Cohen, Cyril, et autres
Publié: (2023)

Safety, Relative Tightness and the Probabilistic Frame Rule
par: Jereb, Janez Ignacij, et autres
Publié: (2025)

Relation-Algebraic Verification of Disjoint-Set Forests
par: Guttmann, Walter
Publié: (2023)

The Directed Van Kampen Theorem in Lean
par: Basold, Henning, et autres
Publié: (2023)

Domains, Information Frames, Rough Sets: An Equivalence of Categories
par: Spreen, Dieter
Publié: (2025)

Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops
par: Zaiser, Fabian, et autres
Publié: (2024)

Semantics out of context: nominal absolute denotations for first-order logic and computation
par: Gabbay, Murdoch J.
Publié: (2013)

A Sequent Calculus Perspective on Base-Extension Semantics (Technical Report)
par: Barroso-Nascimento, Victor, et autres
Publié: (2025)

Positivity-hardness results on Markov decision processes
par: Piribauer, Jakob, et autres
Publié: (2023)

Nominal Sets in Rocq
par: Paranhos, Fabrício Sanches, et autres
Publié: (2025)

Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic
par: Bobrow, Elliot, et autres
Publié: (2025)

Ordinal measures of the set of finite multisets
par: Vialard, Isa
Publié: (2023)

Bounded Modal Logic
par: Murase, Yuito, et autres
Publié: (2026)

Loops, Inverse Limits and Non-Determinism
par: Brattka, Vasco
Publié: (2025)

Just Verification of Mutual Exclusion Algorithms with (Non-)Blocking and (Non-)Atomic Registers
par: van Glabbeek, Rob, et autres
Publié: (2026)

Loop Termination and Generalized Collatz Sequences
par: Carelli, Mishel
Publié: (2026)

Interpreting Lambda Calculus in Domain-Valued Random Variables
par: Furber, Robert, et autres
Publié: (2021)

Unique Solutions of Guarded Recursive Equations
par: van Glabbeek, Rob
Publié: (2025)

A Language for Evaluating Derivatives of Functionals Using Automatic Differentiation
par: Di Gianantonio, Pietro, et autres
Publié: (2022)

Gradual C0: Symbolic Execution for Gradual Verification
par: DiVincenzo, Jenna, et autres
Publié: (2022)

A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice
par: van Glabbeek, Rob, et autres
Publié: (2025)

Sufficient Incorrectness Logic: SIL and Separation SIL
par: Ascari, Flavio, et autres
Publié: (2023)

Quantum Control and General Recursion beyond the Unitary Case
par: Barsse, Kathleen, et autres
Publié: (2025)