Buchumschlag

Linear Realisability over nets: multiplicatives (long version)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ragot, Adrien, Seiller, Thomas, de Falco, Lorenzo Tortora
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Linear Realisability and Implicative Algebras
von: Lucquin, Alexandre, et al.
Veröffentlicht: (2026)

Zeta Functions and the (Linear) Logic of Markov Processes
von: Seiller, Thomas
Veröffentlicht: (2020)

On the role of connectivity in Linear Logic proofs
von: Di Donna, Raffaele, et al.
Veröffentlicht: (2025)

Mathematical Informatics: Algorithms
von: Seiller, Thomas
Veröffentlicht: (2026)

Yeo's Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic
von: Di Guardia, Rémi, et al.
Veröffentlicht: (2026)

Basis-Sensitive Quantum Typing via Realisability
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2025)

An Indexed Linear Logic for Idempotent Intersection Types (Long version)
von: Breuvart, Flavien, et al.
Veröffentlicht: (2024)

On the Impact of the Communication Model on Realisability
von: Di Giusto, Cinzia, et al.
Veröffentlicht: (2025)

Deciding Equations in the Time Warp Algebra
von: van Gool, Sam, et al.
Veröffentlicht: (2023)

A Cobham theorem for scalar multiplication
von: Hieronymi, Philipp, et al.
Veröffentlicht: (2024)

Unifying lower bounds for algebraic machines, semantically
von: Seiller, Thomas, et al.
Veröffentlicht: (2018)

From Differential Linear Logic to Coherent Differentiation
von: Ehrhard, Thomas
Veröffentlicht: (2024)

A Linear Temporal Logic of Frequencies on Series of Events
von: Antonelli, Melissa, et al.
Veröffentlicht: (2026)

Proof Complexity of Linear Logics
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2026)

On matrix rank function over bounded arithmetics
von: Ken, Eitetsu, et al.
Veröffentlicht: (2023)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2023)

Regular expressions over countable words
von: Colcombet, Thomas, et al.
Veröffentlicht: (2025)

Variable Elimination as Rewriting in a Linear Lambda Calculus
von: Ehrhard, Thomas, et al.
Veröffentlicht: (2025)

SAT-based Learning of Computation Tree Logic
von: Pommellet, Adrien, et al.
Veröffentlicht: (2024)

Intuitionistic BV (Extended version)
von: Acclavio, Matteo, et al.
Veröffentlicht: (2025)

Linear Arboreal Categories
von: Abramsky, Samson, et al.
Veröffentlicht: (2023)

Quantum Bayesian Networks: Compositionality and Typing via Linear Logic
von: Di Guardia, Rémi, et al.
Veröffentlicht: (2026)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
von: Gaßner, Christine
Veröffentlicht: (2025)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
von: Gaßner, Christine
Veröffentlicht: (2025)

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
von: Gaßner, Christine
Veröffentlicht: (2025)

Repairing General Game Descriptions (extended version)
von: He, Yifan, et al.
Veröffentlicht: (2025)

Proof Scores: A Survey (full version)
von: Riesco, Adrian, et al.
Veröffentlicht: (2025)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
von: Powell, Thomas
Veröffentlicht: (2023)

Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version)
von: Heuvel, Bas van den
Veröffentlicht: (2024)

Probabilistic Verification for Modular Network-on-Chip Systems (extended version)
von: Waddoups, Nick, et al.
Veröffentlicht: (2025)

An adequacy theorem between mixed powerdomains and probabilistic concurrency (extended version)
von: Neves, Renato
Veröffentlicht: (2024)

Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
von: Budde, Carlos E., et al.
Veröffentlicht: (2024)

Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties (extended version)
von: Dardinier, Thibault, et al.
Veröffentlicht: (2023)

An extended type system with lambda-typed lambda-expressions (extended version)
von: Weber, Matthias
Veröffentlicht: (2018)

Consistent Update Synthesis via Privatized Beliefs
von: Schlögl, Thomas, et al.
Veröffentlicht: (2024)

Existential and positive games: a comonadic and axiomatic view
von: Abramsky, Samson, et al.
Veröffentlicht: (2025)

Skolemisation for Intuitionistic Linear Logic
von: Bruni, Alessandro, et al.
Veröffentlicht: (2024)

Linear Programming in Isabelle/HOL
von: Parsert, Julian
Veröffentlicht: (2024)

Enumerating Independent Linear Inferences
von: Das, Anupam, et al.
Veröffentlicht: (2021)

Modal Logic for Reasoning About Uncertainty and Confusion
von: Bílková, Marta, et al.
Veröffentlicht: (2025)