Imagen de Portada

An Analysis of Symmetry in Quantitative Semantics

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Clairambault, Pierre, Forest, Simon
Formato:	Preprint
Publicado:	2024
Materias:	Logic in Computer Science Category Theory F.3.2
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Intrinsically Correct Sorting in Cubical Agda
por: Alexandru, Cass, et al.
Publicado: (2024)

Scott's Representation Theorem and the Univalent Karoubi Envelope
por: van der Leer, Arnoud, et al.
Publicado: (2025)

Generating Higher Identity Proofs in Homotopy Type Theory
por: Benjamin, Thibaut
Publicado: (2024)

Graphical Quadratic Algebra
por: Stein, Dario, et al.
Publicado: (2024)

Graded Differential Categories and Graded Differential Linear Logic
por: Lemay, Jean-Simon Pacaud, et al.
Publicado: (2023)

A computational method for left-adjointness
por: Forest, Simon
Publicado: (2024)

A taxonomy of categories for relations
por: Cioffo, Cipriano Junior, et al.
Publicado: (2025)

Quantum Control and General Recursion beyond the Unitary Case
por: Barsse, Kathleen, et al.
Publicado: (2025)

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

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

Formal P-Category Theory and Normalization by Evaluation in Rocq
por: Berry, David G., et al.
Publicado: (2025)

EGGs are adhesive!
por: Biondo, Roberto, et al.
Publicado: (2025)

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics
por: Bisping, Benjamin, et al.
Publicado: (2024)

Interpreting Lambda Calculus in Domain-Valued Random Variables
por: Furber, Robert, et al.
Publicado: (2021)

Unique Solutions of Guarded Recursive Equations
por: van Glabbeek, Rob
Publicado: (2025)

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

An Adequacy Theorem Between Mixed Powerdomains and Probabilistic Concurrency
por: Neves, Renato
Publicado: (2025)

Stronger Validity Criteria for Encoding Synchrony
por: van Glabbeek, Rob, et al.
Publicado: (2025)

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

Operational methods in semantics
por: Amadio, Roberto M.
Publicado: (2025)

Partial Typing for Asynchronous Multiparty Sessions
por: Barbanera, Franco, et al.
Publicado: (2024)

Left-Linear Rewriting in Adhesive Categories
por: Baldan, Paolo, et al.
Publicado: (2024)

Categorical Proof-Theoretic Semantics
por: Pym, David, et al.
Publicado: (2023)

Calculational Design of Hyperlogics by Abstract Interpretation
por: Cousot, Patrick, et al.
Publicado: (2024)

Safety, Relative Tightness and the Probabilistic Frame Rule
por: Jereb, Janez Ignacij, et al.
Publicado: (2025)

Relation-Algebraic Verification of Disjoint-Set Forests
por: Guttmann, Walter
Publicado: (2023)

A Classifying Topos for the Spectrum of Equivalences
por: Oggad, Kenan
Publicado: (2026)

Compositionality in Coalgebraic Trace Semantics
por: Jourde, Robin, et al.
Publicado: (2026)

Branching Bisimilarity for Processes with Time-outs
por: Reghem, Gaspard, et al.
Publicado: (2024)

Concrete Branching Bisimilarity for Processes with Time-outs
por: Reghem, Gaspard, et al.
Publicado: (2024)

Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams
por: Lobbia, Gabriele, et al.
Publicado: (2024)

Quantitative Equality in Substructural Logic via Lipschitz Doctrines
por: Dagnino, Francesco, et al.
Publicado: (2021)

A Complete V-Equational System for Graded lambda-Calculus
por: Dahlqvist, Fredrik, et al.
Publicado: (2023)

Early Announcement: Parametricity for GADTs
por: Cagne, Pierre, et al.
Publicado: (2024)

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

Quantitative Assurance and Synthesis of Controllers from Activity Diagrams
por: Ye, Kangfeng, et al.
Publicado: (2024)

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

A Fibrational Perspective on Differential Linear Logic
por: Koleilat, Jad
Publicado: (2026)

On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic
por: Lago, Ugo Dal, et al.
Publicado: (2026)

Relational Dualities and Bisimulation
por: Kozicki, Piotr, et al.
Publicado: (2026)