:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Neves, Renato, Proença, José, Souza, Juliana
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science F.3
Accès en ligne:	https://arxiv.org/abs/2507.15913
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

An Adequacy Theorem Between Mixed Powerdomains and Probabilistic Concurrency
par: Neves, Renato
Publié: (2025)

The syntactic side of autonomous categories enriched over generalised metric spaces
par: Dahlqvist, Fredrik, et autres
Publié: (2022)

A Complete V-Equational System for Graded lambda-Calculus
par: Dahlqvist, Fredrik, et autres
Publié: (2023)

On the Relative Completeness of Satisfaction-based Probabilistic Hoare Logic With While Loop
par: Sun, Xin, et autres
Publié: (2024)

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

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

A Language for Evaluating Derivatives of Functionals Using Automatic Differentiation
par: Di Gianantonio, Pietro, 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)

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

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

Algorithmically Expressive, Always-Terminating Model for Reversible Computation
par: Palazzo, Matteo, et autres
Publié: (2024)

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

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

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
par: Barroso-Nascimento, Victor, et autres
Publié: (2025)

Symmetries in Sorting
par: Choudhury, Vikraman, et autres
Publié: (2025)

The Lambda Calculus is Quantifiable
par: Maestracci, Valentin, et autres
Publié: (2024)

Proving and Computing: The Infinite Pigeonhole Principle and Countable Choice
par: Ariola, Zena M., et autres
Publié: (2026)

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

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

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

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

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

Computation and Size of Interpolants for Hybrid Modal Logics
par: Jung, Jean Christoph, et autres
Publié: (2026)

Intersection Types for a Computational Lambda-Calculus with Global State
par: de'Liguoro, Ugo, et autres
Publié: (2021)

A SAT-based Approach for Specification, Analysis, and Justification of Reductions between NP-complete Problems
par: Janičić, Predrag
Publié: (2025)

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

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

U-Turn: Enhancing Incorrectness Analysis by Reversing Direction
par: Ascari, Flavio, et autres
Publié: (2025)

Stronger Validity Criteria for Encoding Synchrony
par: van Glabbeek, Rob, et autres
Publié: (2025)

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

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

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

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

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

Safe Composition of Systems of Communicating Finite State Machines
par: Barbanera, Franco, et autres
Publié: (2024)

Embedding Differential Dynamic Logic in PVS
par: Slagel, J. Tanner, et autres
Publié: (2024)

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

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
par: Borzechowski, Manfred, et autres
Publié: (2025)

An adequacy theorem between mixed powerdomains and probabilistic concurrency (extended version)
par: Neves, Renato
Publié: (2024)

On the cartesian product of well-orderings
par: Vialard, Isa
Publié: (2022)