Image de couverture de livre

From Differential Linear Logic to Coherent Differentiation

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Ehrhard, Thomas
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Coherent Taylor expansion as a bimonad
par: Ehrhard, Thomas, et autres
Publié: (2023)

Quantum Bayesian Networks: Compositionality and Typing via Linear Logic
par: Di Guardia, Rémi, et autres
Publié: (2026)

A coherent differential PCF
par: Ehrhard, Thomas
Publié: (2022)

Variable Elimination as Rewriting in a Linear Lambda Calculus
par: Ehrhard, Thomas, et autres
Publié: (2025)

Unifying Graded Linear Logic and Differential Operators
par: Breuvart, Flavien, et autres
Publié: (2024)

Integration in Cones
par: Ehrhard, Thomas, et autres
Publié: (2022)

Bayesian Networks and Proof-Nets: a proof-theoretical account of Bayesian Inference
par: Ehrhard, Thomas, et autres
Publié: (2024)

Internship report: Coherent differentiation in models of Linear Logic
par: Walch, Aymeric
Publié: (2024)

On The Metric Nature of (Differential) Logical Relations
par: Lago, Ugo Dal, et autres
Publié: (2025)

On the Metric Nature of (Differential) Logical Relations
par: Lago, Ugo Dal, et autres
Publié: (2026)

Bayesian Networks and Proof-Nets: the proof-theory of Bayesian Inference
par: Di Guardia, Rémi, et autres
Publié: (2026)

A Foundation for Differentiable Logics using Dependent Type Theory
par: Affeldt, Reynald, et autres
Publié: (2026)

Proof Complexity of Linear Logics
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2026)

Zeta Functions and the (Linear) Logic of Markov Processes
par: Seiller, Thomas
Publié: (2020)

A Fibrational Perspective on Differential Linear Logic
par: Koleilat, Jad
Publié: (2026)

A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential
par: Dagnino, Francesco, et autres
Publié: (2023)

A Linear Temporal Logic of Frequencies on Series of Events
par: Antonelli, Melissa, et autres
Publié: (2026)

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

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
par: Gheorghiu, Alexander V., et autres
Publié: (2023)

TLINet: Differentiable Neural Network Temporal Logic Inference
par: Li, Danyang, et autres
Publié: (2024)

Differentiable Inductive Logic Programming in High-Dimensional Space
par: Purgał, Stanisław J., et autres
Publié: (2022)

Aspects of Coherence in Dependence Logic
par: Barlag, Timon, et autres
Publié: (2026)

Differentiable Modal Logic for Multi-Agent Diagnosis, Orchestration and Communication
par: Sulc, Antonin
Publié: (2026)

Skolemisation for Intuitionistic Linear Logic
par: Bruni, Alessandro, et autres
Publié: (2024)

On the role of connectivity in Linear Logic proofs
par: Di Donna, Raffaele, et autres
Publié: (2025)

Undecidability of Linear Logics without Weakening
par: Suzuki, Jun, et autres
Publié: (2025)

Modal Logic for Reasoning About Uncertainty and Confusion
par: Bílková, Marta, et autres
Publié: (2025)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
par: Gheorghiu, Alexander V., et autres
Publié: (2022)

Type Isomorphisms for Multiplicative-Additive Linear Logic
par: Di Guardia, Rémi, et autres
Publié: (2024)

Linear Temporal Justification Logics with Past Operators
par: Ghari, Meghdad
Publié: (2018)

Automata Linear Dynamic Logic on Finite Traces
par: Smith, Kevin W., et autres
Publié: (2021)

A Categorical Semantics for Linear Logical Frameworks
par: Vákár, Matthijs
Publié: (2015)

Agent-Knowledge Logic for Alternative Epistemic Logic
par: Nishimura, Yuki
Publié: (2024)

A Proof-theoretic Semantics for Intuitionistic Linear Logic
par: Buzoku, Yll
Publié: (2024)

Semantics for Linear-time Temporal Logic with Finite Observations
par: Amjad, Rayhana, et autres
Publié: (2024)

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

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
par: Marin, Sonia, et autres
Publié: (2025)

LPrL: An Asynchronous Linear Time Hyper Logic
par: Duggirala, Parasara Sridhar, et autres
Publié: (2025)

Model Checking Linear Temporal Logic with Standpoint Modalities
par: Aghamov, Rajab, et autres
Publié: (2025)

Sharing and Linear Logic with Restricted Access (Extended Version)
par: Barenbaum, Pablo, et autres
Publié: (2025)