Copertina

Yeo's Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Di Guardia, Rémi, Laurent, Olivier, de Falco, Lorenzo Tortora, Auclair, Lionel Vaux
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Type Isomorphisms for Multiplicative-Additive Linear Logic
di: Di Guardia, Rémi, et al.
Pubblicazione: (2024)

On the role of connectivity in Linear Logic proofs
di: Di Donna, Raffaele, et al.
Pubblicazione: (2025)

Finitary Simulation of Infinitary $β$-Reduction via Taylor Expansion, and Applications
di: Cerda, Rémy, et al.
Pubblicazione: (2022)

Extensional Taylor Expansion
di: Blondeau-Patissier, Lison, et al.
Pubblicazione: (2023)

Strategies as Resource Terms, and their Categorical Semantics
di: Blondeau-Patissier, Lison, et al.
Pubblicazione: (2023)

How to play the Accordion: Uniformity and the (non-)conservativity of the linear approximation of the λ-calculus (extended version)
di: Cerda, Rémy, et al.
Pubblicazione: (2023)

Quantum Bayesian Networks: Compositionality and Typing via Linear Logic
di: Di Guardia, Rémi, et al.
Pubblicazione: (2026)

Linear Realisability over nets: multiplicatives (long version)
di: Ragot, Adrien, et al.
Pubblicazione: (2024)

Bayesian Networks and Proof-Nets: the proof-theory of Bayesian Inference
di: Di Guardia, Rémi, et al.
Pubblicazione: (2026)

On the Satisfiability of Local First-Order Logics with Data
di: Bollig, Benedikt, et al.
Pubblicazione: (2023)

Proof Complexity of Linear Logics
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2026)

A Linear Temporal Logic of Frequencies on Series of Events
di: Antonelli, Melissa, et al.
Pubblicazione: (2026)

Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes
di: Schirrmacher, Nicole, et al.
Pubblicazione: (2023)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2023)

Preservation Theorems for Unravelling-Invariant Classes: A Uniform Approach for Modal Logics and Graph Neural Networks
di: Wałęga, Przemysław Andrzej, et al.
Pubblicazione: (2026)

Logic of Fuzzy Paths
di: Grover, Kush, et al.
Pubblicazione: (2026)

Formalizing Representation Theorems for a Logical Framework with Rewriting
di: Traversié, Thomas, et al.
Pubblicazione: (2025)

Skolemisation for Intuitionistic Linear Logic
di: Bruni, Alessandro, et al.
Pubblicazione: (2024)

Locality Theorems in Semiring Semantics
di: Bizière, Clotilde, et al.
Pubblicazione: (2023)

HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes
di: Jin, Xiangyu, et al.
Pubblicazione: (2024)

Undecidability of Linear Logics without Weakening
di: Suzuki, Jun, et al.
Pubblicazione: (2025)

Zeta Functions and the (Linear) Logic of Markov Processes
di: Seiller, Thomas
Pubblicazione: (2020)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
di: Livson, Ori, et al.
Pubblicazione: (2025)

Systematic Design of Separation Logics
di: Bruni, Roberto, et al.
Pubblicazione: (2026)

From Differential Linear Logic to Coherent Differentiation
di: Ehrhard, Thomas
Pubblicazione: (2024)

Unifying Graded Linear Logic and Differential Operators
di: Breuvart, Flavien, et al.
Pubblicazione: (2024)

Linear Temporal Justification Logics with Past Operators
di: Ghari, Meghdad
Pubblicazione: (2018)

Automata Linear Dynamic Logic on Finite Traces
di: Smith, Kevin W., et al.
Pubblicazione: (2021)

A Categorical Semantics for Linear Logical Frameworks
di: Vákár, Matthijs
Pubblicazione: (2015)

Agent-Knowledge Logic for Alternative Epistemic Logic
di: Nishimura, Yuki
Pubblicazione: (2024)

A Diagrammatic Algebra for Program Logics
di: Bonchi, Filippo, et al.
Pubblicazione: (2024)

Relational semantics for flat Heyting-Lewis Logic
di: de Groot, Jim, et al.
Pubblicazione: (2026)

Local Intuitionistic Modal Logics and Their Calculi
di: Balbiani, Philippe, et al.
Pubblicazione: (2024)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
di: Lyon, Tim S.
Pubblicazione: (2023)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
di: Marin, Sonia, et al.
Pubblicazione: (2025)

Internship report: Coherent differentiation in models of Linear Logic
di: Walch, Aymeric
Pubblicazione: (2024)

LPrL: An Asynchronous Linear Time Hyper Logic
di: Duggirala, Parasara Sridhar, et al.
Pubblicazione: (2025)

A Proof-theoretic Semantics for Intuitionistic Linear Logic
di: Buzoku, Yll
Pubblicazione: (2024)

Semantics for Linear-time Temporal Logic with Finite Observations
di: Amjad, Rayhana, et al.
Pubblicazione: (2024)

Model Checking Linear Temporal Logic with Standpoint Modalities
di: Aghamov, Rajab, et al.
Pubblicazione: (2025)