Copertina

Coherent Taylor expansion as a bimonad

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Ehrhard, Thomas, Walch, Aymeric
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Compositional Taylor expansion in cartesian differential categories
di: Walch, Aymeric
Pubblicazione: (2025)

Absolute convergence and Taylor expansion in web based models of Linear Logic
di: Tasson, Christine, et al.
Pubblicazione: (2026)

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

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

A coherent differential PCF
di: Ehrhard, Thomas
Pubblicazione: (2022)

Integration in Cones
di: Ehrhard, Thomas, et al.
Pubblicazione: (2022)

Variable Elimination as Rewriting in a Linear Lambda Calculus
di: Ehrhard, Thomas, et al.
Pubblicazione: (2025)

Bayesian Networks and Proof-Nets: a proof-theoretical account of Bayesian Inference
di: Ehrhard, Thomas, et al.
Pubblicazione: (2024)

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

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

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

Stability Property for the Call-by-Value $λ$-calculus through Taylor Expansion
di: Barbarossa, Davide
Pubblicazione: (2024)

Non-expansive Fuzzy ALC
di: Gebhart, Stefan, et al.
Pubblicazione: (2025)

Pregroup representable expansions of residuated lattices
di: Craig, Andrew, et al.
Pubblicazione: (2026)

Unifying the Three Algebraic Approaches to the CSP via Minimal Taylor Algebras
di: Barto, Libor, et al.
Pubblicazione: (2021)

Existential and positive games: a comonadic and axiomatic view
di: Abramsky, Samson, et al.
Pubblicazione: (2025)

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

Aspects of Coherence in Dependence Logic
di: Barlag, Timon, et al.
Pubblicazione: (2026)

Consistent Update Synthesis via Privatized Beliefs
di: Schlögl, Thomas, et al.
Pubblicazione: (2024)

Modal Logic for Reasoning About Uncertainty and Confusion
di: Bílková, Marta, et al.
Pubblicazione: (2025)

Quasi Directed Jonsson Operations Imply Bounded Width (For fo-expansions of symmetric binary cores with free amalgamation)
di: Wrona, Michal
Pubblicazione: (2024)

Coherency through formalisations of Structured Natural Language, A case study on FRETish
di: Joosten, Joost J., et al.
Pubblicazione: (2026)

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
di: Bilotta, Antonella
Pubblicazione: (2025)

Dynamics and Coherence for the Free Cornering with Protocol Choice
di: Nester, Chad, et al.
Pubblicazione: (2025)

Sequent Calculi for Data-Aware Modal Logics
di: Areces, Carlos, et al.
Pubblicazione: (2025)

Intuitionistic modal logics: a minimal setting
di: Balbiani, Philippe, et al.
Pubblicazione: (2025)

First-order Logic with Being a Thesis Modal Operator
di: Łyczak, Marcin
Pubblicazione: (2024)

A concrete model for a typed linear algebraic lambda calculus
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2018)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
di: Bacci, Giorgio, et al.
Pubblicazione: (2025)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
di: Liang, Xiaolong, et al.
Pubblicazione: (2024)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
di: Oda, Yukihiro
Pubblicazione: (2025)

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

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

Making first order linear logic a generating grammar
di: Slavnov, Sergey
Pubblicazione: (2022)

A linear proof language for second-order intuitionistic linear logic
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2023)

Completions of Kleene's second model
di: Terwijn, Sebastiaan A.
Pubblicazione: (2023)

Paraconsistent Existential Graphs Gamma Peirce System
di: Sierra-Aristizabal, Manuel
Pubblicazione: (2023)

On matrix rank function over bounded arithmetics
di: Ken, Eitetsu, et al.
Pubblicazione: (2023)

Proof-theoretic Semantics for the Logic of Bunched Implications
di: Gu, Tao, et al.
Pubblicazione: (2023)

Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing
di: Pshenitsyn, Tikhon
Pubblicazione: (2023)