Copertina

A Curry-Howard Correspondence for Linear, Reversible Computation

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Chardonnet, Kostia, Saurin, Alexis, Valiron, Benoît
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

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

The Tensor-Plus Calculus
di: Chardonnet, Kostia, et al.
Pubblicazione: (2025)

The Many-Worlds Calculus
di: Chardonnet, Kostia, et al.
Pubblicazione: (2022)

Approximation theory for distant Bang calculus
di: Chardonnet, Kostia, et al.
Pubblicazione: (2026)

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

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

On Quantum Programming Languages
di: Valiron, Benoît
Pubblicazione: (2024)

Proceedings Twelfth Workshop on Fixed Points in Computer Science
di: Saurin, Alexis
Pubblicazione: (2025)

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

Linear effects, exceptions, and resource safety: a Curry-Howard correspondence for destructors
di: Congard, Sidney, et al.
Pubblicazione: (2025)

A Rewriting Theory for Quantum Lambda-Calculus
di: Faggian, Claudia, et al.
Pubblicazione: (2024)

Finding Photonics Circuits via $δ$-weakening SMT
di: Lewis, Marco, et al.
Pubblicazione: (2025)

A uniform cut-elimination theorem for linear logics with fixed points and super exponentials
di: Bauer, Esaïe, 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)

Non-deterministic, probabilistic, and quantum effects through the lens of event structures (Technical report)
di: Fernandes, Vítor, et al.
Pubblicazione: (2024)

The exponential logic of sequentialization
di: Alcolei, Aurore, et al.
Pubblicazione: (2023)

Bidirectional Interpolation for the Lambda-Calculus -- Revisiting and Formalising Craig-Čubrić Interpolation
di: Bertrand, Meven Lennon, et al.
Pubblicazione: (2026)

Substitution in the lambda Calculus and the role of the Curry School
di: Kamareddine, Fairouz
Pubblicazione: (2024)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
di: De Domenico, Andrea, et al.
Pubblicazione: (2024)

Compositional Reversible Computation
di: Carette, Jacques, et al.
Pubblicazione: (2024)

An Axiomatic Theory for Reversible Computation
di: Lanese, Ivan, et al.
Pubblicazione: (2023)

Distribution-Free Modal Logics: Sahlqvist -- Van Benthem Correspondence
di: Chrysafis, et al.
Pubblicazione: (2025)

Ohana trees, linear approximation and multi-types for the $λ$I-calculus: No variable gets left behind or forgotten!
di: Cerda, Rémy, et al.
Pubblicazione: (2025)

Reversible Computation with Stacks and "Reversible Management of Failures"
di: Palazzo, Matteo, et al.
Pubblicazione: (2025)

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

Initial Algebra Correspondence under Reachability Conditions
di: Kori, Mayuko, et al.
Pubblicazione: (2025)

Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
di: Bernardo, Marco, et al.
Pubblicazione: (2022)

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

Probabilistic Linear Logic Programming with an Application to Bayesian Network Computations (Extended Version)
di: Acclavio, Matteo, et al.
Pubblicazione: (2026)

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

Bridging Computational Notions of Depth
di: Bienvenu, Laurent, et al.
Pubblicazione: (2024)

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings
di: Bernardo, Marco, et al.
Pubblicazione: (2024)

Dynamic Probability Logic: Decidability & Computability
di: Chopoghloo, Somayeh, et al.
Pubblicazione: (2024)

Fixed Point Theorems in Computability Theory
di: Terwijn, Sebastiaan A.
Pubblicazione: (2024)

Computing with Infinite Objects: the Gray Code Case
di: Spreen, Dieter, et al.
Pubblicazione: (2021)

A Formalization of the Reversible Concurrent Calculus CCSKP in Beluga
di: Cecilia, Gabriele
Pubblicazione: (2025)

Linear Arboreal Categories
di: Abramsky, Samson, et al.
Pubblicazione: (2023)

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

Meta-Mathematics of Computational Complexity Theory
di: Oliveira, Igor C.
Pubblicazione: (2025)

Correspondence between Composite Theories and Distributive Laws
di: Rosset, Aloïs, et al.
Pubblicazione: (2024)