Imagen de Portada

Approximation theory for distant Bang calculus

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Chardonnet, Kostia, Chouquet, Jules, Kerinec, Axel
Formato:	Preprint
Publicado:	2026
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A Curry-Howard Correspondence for Linear, Reversible Computation
por: Chardonnet, Kostia, et al.
Publicado: (2023)

Semantics for a Turing-complete Reversible Programming Language with Inductive Types
por: Chardonnet, Kostia, et al.
Publicado: (2023)

Resource-Aware Quantum Programming with General Recursion and Quantum Control
por: Chardonnet, Kostia, et al.
Publicado: (2025)

Compiling Quantum Lambda-Terms into Circuits via the Geometry of Interaction
por: Chardonnet, Kostia, et al.
Publicado: (2026)

The Tensor-Plus Calculus
por: Chardonnet, Kostia, et al.
Publicado: (2025)

The Many-Worlds Calculus
por: Chardonnet, Kostia, et al.
Publicado: (2022)

Interpolation for the two-way modal mu-calculus
por: Kloibhofer, Johannes, et al.
Publicado: (2025)

Cut-elimination for the alternation-free modal mu-calculus
por: Afshari, Bahareh, et al.
Publicado: (2025)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
por: Pacheco, Leonardo
Publicado: (2026)

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

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
por: de Jong, Tom, et al.
Publicado: (2026)

Resource approximation for the $λμ$-calculus
por: Barbarossa, Davide
Publicado: (2024)

The calculus of neo-Peircean relations
por: Bonchi, Filippo, et al.
Publicado: (2025)

The higher dimensional propositional calculus
por: Bucciarelli, Antonio, et al.
Publicado: (2022)

An implicit function theorem for the stream calculus
por: Boreale, Michele, et al.
Publicado: (2023)

Higher order differential calculus in mathlib
por: Gouëzel, Sébastien
Publicado: (2025)

A linear linear lambda-calculus
por: Díaz-Caro, Alejandro, et al.
Publicado: (2022)

On the complexity of normalization for the planar $λ$-calculus
por: Das, Anupam, et al.
Publicado: (2024)

On the cut-elimination of the modal $μ$-calculus: Linear Logic to the rescue
por: Bauer, Esaïe, et al.
Publicado: (2025)

Formula size game and model checking for modal substitution calculus
por: Ahvonen, Veeti, et al.
Publicado: (2025)

The decohered ZX-calculus
por: Carette, Titouan, et al.
Publicado: (2025)

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

Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo
por: Komel, Anja Petković, et al.
Publicado: (2025)

Encoding call-by-push-value in the pi-calculus
por: Bennetzen, Benjamin, et al.
Publicado: (2025)

Formalising Inductive and Coinductive Containers
por: Damato, Stefania, et al.
Publicado: (2024)

A dependently-typed calculus of event telicity and culminativity
por: Kovalev, Pavel, et al.
Publicado: (2025)

A simple proof of the coincidence of observational and labeled equivalence of processes in applied pi-calculus
por: Mironov, Andrew M.
Publicado: (2025)

Wiring the Pi-calculus to Denotational Semantics
por: Sakayori, Ken, et al.
Publicado: (2026)

Bringing closure to theory combination properties
por: Toledo, Guilherme V., et al.
Publicado: (2026)

Undecidability of theories of semirings with fixed points
por: Das, Anupam, et al.
Publicado: (2025)

Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space
por: Nogueira, Pablo, et al.
Publicado: (2022)

Hypergraph rewriting and Causal structure of $λ-$calculus
por: Bajaj, Utkarsh
Publicado: (2024)

Strong negation in the theory of computable functionals TCF
por: Köpp, Nils, et al.
Publicado: (2022)

On proving consistency of equational theories in Bounded Arithmetic
por: Beckmann, Arnold, et al.
Publicado: (2022)

Profinite trees, through Lawvere theories and the lambda-calculus
por: Moreau, Vincent
Publicado: (2024)

Being polite is not enough (and other limits of theory combination)
por: Toledo, Guilherme V., et al.
Publicado: (2025)

The proof theory and semantics of second-order (intuitionistic) tense logic
por: Becker, Justus, et al.
Publicado: (2026)

Canonical bidirectional typechecking
por: Mihejevs, Zanzi, et al.
Publicado: (2025)

Wider systems for linear logic with fixed points: proof theory and complexity
por: Das, Anupam, et al.
Publicado: (2026)

S4 modal sequent calculus as intermediate logic and intermediate language
por: Caspar, Jean, et al.
Publicado: (2026)