Image de couverture de livre

On the complexity of normalization for the planar $λ$-calculus

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Das, Anupam, Mazza, Damiano, Nguyên, Lê Thành Dũng, Zeilberger, Noam
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

Simply typed convertibility is TOWER-complete even for safe lambda-terms
par: Nguyên, Lê Thành Dũng
Publié: (2023)

Proof complexity of positive branching programs
par: Das, Anupam, et autres
Publié: (2021)

Bijections between planar maps and planar linear normal $λ$-terms with connectivity condition
par: Fang, Wenjie
Publié: (2022)

Wider systems for linear logic with fixed points: proof theory and complexity
par: Das, Anupam, et autres
Publié: (2026)

A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
par: Nguyên, Lê Thành Dũng, et autres
Publié: (2022)

Function spaces for orbit-finite sets
par: Bojańczyk, Mikołaj, et autres
Publié: (2024)

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

Hypergraph rewriting and Causal structure of $λ-$calculus
par: Bajaj, Utkarsh
Publié: (2024)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
par: Das, Anupam, et autres
Publié: (2024)

Cyclic Implicit Complexity
par: Curzi, Gianluca, et autres
Publié: (2021)

The categorical contours of the Chomsky-Schützenberger representation theorem
par: Melliès, Paul-André, et autres
Publié: (2023)

Slightly Non-Linear Higher-Order Tree Transducers
par: Nguyên, Lê Thành Dũng, et autres
Publié: (2024)

Undecidability of theories of semirings with fixed points
par: Das, Anupam, et autres
Publié: (2025)

Syntactically and semantically regular languages of lambda-terms coincide through logical relations
par: Moreau, Vincent, et autres
Publié: (2023)

The structure of polynomial growth for tree automata/transducers and MSO set queries
par: Gallot, Paul, et autres
Publié: (2025)

Tree transducers of linear size-to-height increase (and the additive conjunction of linear logic)
par: Dartois, Luc, et autres
Publié: (2026)

The proof theory and semantics of second-order (intuitionistic) tense logic
par: Becker, Justus, et autres
Publié: (2026)

Computational expressivity of (circular) proofs with fixed points
par: Curzi, Gianluca, et autres
Publié: (2023)

Enumerating Independent Linear Inferences
par: Das, Anupam, et autres
Publié: (2021)

A proof theory of right-linear (omega-)grammars via cyclic proofs
par: Das, Anupam, et autres
Publié: (2024)

An algebraic theory of ω-regular languages, via μν-expressions
par: Das, Anupam, et autres
Publié: (2025)

Cyclic system for an algebraic theory of alternating parity automata
par: Das, Anupam, et autres
Publié: (2025)

Interpolation for the two-way modal mu-calculus
par: Kloibhofer, Johannes, et autres
Publié: (2025)

Cut-elimination for the alternation-free modal mu-calculus
par: Afshari, Bahareh, et autres
Publié: (2025)

A concrete model for a typed linear algebraic lambda calculus
par: Díaz-Caro, Alejandro, et autres
Publié: (2018)

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

Resource approximation for the $λμ$-calculus
par: Barbarossa, Davide
Publié: (2024)

The calculus of neo-Peircean relations
par: Bonchi, Filippo, et autres
Publié: (2025)

The higher dimensional propositional calculus
par: Bucciarelli, Antonio, et autres
Publié: (2022)

Verifying DNN-based Semantic Communication Against Generative Adversarial Noise
par: Le, Thanh, et autres
Publié: (2026)

The $K_\infty$ Homotopy $λ$-Model
par: Martínez-Rivillas, Daniel O., et autres
Publié: (2025)

An implicit function theorem for the stream calculus
par: Boreale, Michele, et autres
Publié: (2023)

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

A linear linear lambda-calculus
par: Díaz-Caro, Alejandro, et autres
Publié: (2022)

Approximation theory for distant Bang calculus
par: Chardonnet, Kostia, et autres
Publié: (2026)

Proofs for Free in the $λΠ$-Calculus Modulo Theory
par: Traversié, Thomas
Publié: (2024)

A Classical Linear $λ$-Calculus based on Contraposition
par: Barenbaum, Pablo, et autres
Publié: (2026)

How to play the Accordion: Uniformity and the (non-)conservativity of the linear approximation of the λ-calculus (extended version)
par: Cerda, Rémy, et autres
Publié: (2023)

The free bifibration on a functor
par: Clarke, Bryce, et autres
Publié: (2025)

Kuroda's Translation for the $λΠ$-Calculus Modulo Theory and Dedukti
par: Traversié, Thomas
Publié: (2024)