Buchumschlag

Extensional Taylor Expansion

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Blondeau-Patissier, Lison, Clairambault, Pierre, Auclair, Lionel Vaux
Format:	Preprint
Veröffentlicht:	2023
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

Strategies as Resource Terms, and their Categorical Semantics
von: Blondeau-Patissier, Lison, et al.
Veröffentlicht: (2023)

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

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

The Qualitative Collapse of Concurrent Games
von: Clairambault, Pierre
Veröffentlicht: (2024)

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

Disentangling Parallelism and Interference in Game Semantics
von: Castellan, Simon, et al.
Veröffentlicht: (2021)

From Thin Concurrent Games to Generalized Species of Structures (Extended Version)
von: Clairambault, Pierre, et al.
Veröffentlicht: (2023)

An Analysis of Symmetry in Quantitative Semantics
von: Clairambault, Pierre, et al.
Veröffentlicht: (2024)

Wiring the Pi-calculus to Denotational Semantics
von: Sakayori, Ken, et al.
Veröffentlicht: (2026)

Stability Property for the Call-by-Value $λ$-calculus through Taylor Expansion
von: Barbarossa, Davide
Veröffentlicht: (2024)

Duality for Normal Lattice Expansions and Sorted, Residuated Frames with Relations
von: Hartonas, Chrysafis
Veröffentlicht: (2021)

Coherent Taylor expansion as a bimonad
von: Ehrhard, Thomas, et al.
Veröffentlicht: (2023)

Compositional Taylor expansion in cartesian differential categories
von: Walch, Aymeric
Veröffentlicht: (2025)

Absolute convergence and Taylor expansion in web based models of Linear Logic
von: Tasson, Christine, et al.
Veröffentlicht: (2026)

Extension preservation on dense graph classes
von: Eleftheriadis, Ioannis
Veröffentlicht: (2024)

On Symbol Elimination and Uniform Interpolation in Theory Extensions
von: Sofronie-Stokkermans, Viorica
Veröffentlicht: (2025)

Branch-Well-Structured Transition Systems and Extensions
von: Bollig, Benedikt, et al.
Veröffentlicht: (2022)

List types for resource aware languages: an implicit name approach
von: Ghilezan, Silvia, et al.
Veröffentlicht: (2021)

Satisfiability Modulo Extensional Constant Arrays (Extended Version)
von: Preiner, Mathias, et al.
Veröffentlicht: (2026)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
von: van der Giessen, Iris, et al.
Veröffentlicht: (2023)

Unifying the Three Algebraic Approaches to the CSP via Minimal Taylor Algebras
von: Barto, Libor, et al.
Veröffentlicht: (2021)

Dynamic Automated Deduction by Contradiction Separation: The Standard Extension Algorithm
von: Xu, Yang, et al.
Veröffentlicht: (2025)

Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests
von: Bogaerts, Bart, et al.
Veröffentlicht: (2022)

Pairwise Independence of Representation, Classification, and Composition in Finite Extensional Magmas
von: Palmieri, Stefano
Veröffentlicht: (2026)

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus
von: Cailler, Julie, et al.
Veröffentlicht: (2025)

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings
von: Bernardo, Marco, et al.
Veröffentlicht: (2024)

Better Extension Variables in DQBF via Independence
von: Chew, Leroy, et al.
Veröffentlicht: (2025)

Convergence Laws for Extensions of First-Order Logic with Averaging
von: Adam-Day, Sam, et al.
Veröffentlicht: (2025)

$\text{TT}^{\Box}_{\mathcal C}$: a Family of Extensional Type Theories with Effectful Realizers of Continuity
von: Cohen, Liron, et al.
Veröffentlicht: (2023)

The Size-Change Principle for Mixed Inductive and Coinductive types
von: Hyvernat, Pierre
Veröffentlicht: (2024)

A Relational Theory of Grounding and a new Grounder for SMT
von: Carbonnelle, Pierre
Veröffentlicht: (2026)

Extensional and Non-extensional Functions as Processes
von: Sakayori, Ken, et al.
Veröffentlicht: (2024)

Positionality in $Σ_0^2$ and a completeness result
von: Ohlmann, Pierre, et al.
Veröffentlicht: (2023)

Rank-decreasing transductions
von: Bojańczyk, Mikołaj, et al.
Veröffentlicht: (2024)

Trees in graphs of large linear cliquewidth
von: Bojańczyk, Mikołaj, et al.
Veröffentlicht: (2025)

Identity-Preserving Lax Extensions and Where to Find Them
von: Goncharov, Sergey, et al.
Veröffentlicht: (2024)

On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
von: Kobayashi, Naoki
Veröffentlicht: (2024)

Sequent Calculi for Data-Aware Modal Logics
von: Areces, Carlos, et al.
Veröffentlicht: (2025)

Maths with Coq in L1, a pedagogical experiment
von: Kerjean, Marie, et al.
Veröffentlicht: (2025)

A Sequent Calculus Perspective on Base-Extension Semantics (Technical Report)
von: Barroso-Nascimento, Victor, et al.
Veröffentlicht: (2025)