Copertina

IMELL Cut Elimination with Linear Overhead

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Accattoli, Beniamino, Coen, Claudio Sacerdoti
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
di: Accattoli, Beniamino
Pubblicazione: (2022)

Positive Sharing and Abstract Machines
di: Accattoli, Beniamino, et al.
Pubblicazione: (2025)

The Cost of Skeletal Call-by-Need, Smoothly
di: Accattoli, Beniamino, et al.
Pubblicazione: (2025)

The Vanilla Sequent Calculus is Call-by-Value (Fresh Perspective)
di: Accattoli, Beniamino
Pubblicazione: (2024)

Mirroring Call-by-Need, or Values Acting Silly
di: Accattoli, Beniamino, et al.
Pubblicazione: (2024)

Proceedings Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
di: Rabe, Florian, et al.
Pubblicazione: (2024)

A Reversible Crumbling Abstract Machine for Plotkin's Call-by-Value
di: Pizzo, Nicolò, et al.
Pubblicazione: (2026)

Positive Focusing is Directly Useful
di: Accattoli, Beniamino, et al.
Pubblicazione: (2024)

Multi types and reasonable space
di: Accattoli, Beniamino, et al.
Pubblicazione: (2022)

Reasonable Space for the $λ$-Calculus, Logarithmically
di: Accattoli, Beniamino, et al.
Pubblicazione: (2022)

Interaction Equivalence
di: Accattoli, Beniamino, et al.
Pubblicazione: (2024)

Infinitary Cut-Elimination for Non-Wellfounded Parsimonious Linear Logic
di: Acclavio, Matteo, et al.
Pubblicazione: (2023)

On the Cut Elimination of Weak Intuitionistic Tense Logic
di: Wang, Yiheng, et al.
Pubblicazione: (2024)

Cut-Elimination for the Bimodal Logic GR
di: Kushida, Hirohiko
Pubblicazione: (2026)

A Semantic Proof of Generalised Cut Elimination for Deep Inference
di: Atkey, Robert, et al.
Pubblicazione: (2024)

Syntactic Cut-Elimination for Provability Logic GL via Nested Sequents
di: Maniwa, Akinori, et al.
Pubblicazione: (2024)

Making progress: Reducibility Candidates and Cut Elimination in the Ill-founded Realm
di: Curzi, Gianluca, et al.
Pubblicazione: (2026)

Integer Linear-Exponential Programming in NP by Quantifier Elimination
di: Chistikov, Dmitry, et al.
Pubblicazione: (2024)

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

Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
di: Cerda, Rémy, et al.
Pubblicazione: (2025)

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

Cut-free Deductive System for Continuous Intuitionistic Logic
di: Geoffroy, Guillaume
Pubblicazione: (2025)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
di: Afshari, Bahareh, et al.
Pubblicazione: (2024)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
di: Indrzejczak, Andrzej, et al.
Pubblicazione: (2024)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2025)

On Efficient Algorithms For Partial Quantifier Elimination
di: Goldberg, Eugene
Pubblicazione: (2024)

SAT-Inspired Higher-Order Eliminations
di: Blanchette, Jasmin, et al.
Pubblicazione: (2022)

Goedel Logics: On the Elimination of The Absoluteness Operator
di: Baaz, Matthias, et al.
Pubblicazione: (2026)

Partial Quantifier Elimination By Certificate Clauses
di: Goldberg, Eugene
Pubblicazione: (2020)

On Symbol Elimination and Uniform Interpolation in Theory Extensions
di: Sofronie-Stokkermans, Viorica
Pubblicazione: (2025)

Eliminating reversals from cubical type theories
di: Cavallo, Evan, et al.
Pubblicazione: (2026)

Structure-Aware Computing, Partial Quantifier Elimination And SAT
di: Goldberg, Eugene
Pubblicazione: (2024)

The Proof-Theoretic Origin of Double Negation Introduction & Elimination
di: Irani, Khashayar
Pubblicazione: (2025)

Pseudo-Complex Quantifier Elimination
di: Faroß, Nicolas, et al.
Pubblicazione: (2026)

Closure Conversion, Flat Environments, and the Complexity of Abstract Machines
di: Accattoli, Beniamino, et al.
Pubblicazione: (2025)

Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability
di: Amat, Nicolas, et al.
Pubblicazione: (2024)

A Linear Temporal Logic of Frequencies on Series of Events
di: Antonelli, Melissa, et al.
Pubblicazione: (2026)

Proof Complexity of Linear Logics
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2026)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2023)

Uniform Cut-free Bisequent Calculi for Three-valued Logics
di: Indrzejczak, Andrzej, et al.
Pubblicazione: (2024)