Image de couverture de livre

Compositional Reversible Computation

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Carette, Jacques, Heunen, Chris, Kaarsgaard, Robin, Sabry, Amr
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

With a Few Square Roots, Quantum Computing is as Easy as Π
par: Carette, Jacques, et autres
Publié: (2023)

The Quantum Effect: A Recipe for QuantumPi
par: Carette, Jacques, et autres
Publié: (2023)

One rig to control them all
par: Heunen, Chris, et autres
Publié: (2025)

Free Quantum Computing
par: Carette, Jacques, et autres
Publié: (2026)

Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
par: Carette, TItouan, et autres
Publié: (2022)

The decohered ZX-calculus
par: Carette, Titouan, et autres
Publié: (2025)

Quantum Circuits Are Just a Phase
par: Heunen, Chris, et autres
Publié: (2025)

An Axiomatic Theory for Reversible Computation
par: Lanese, Ivan, et autres
Publié: (2023)

A Curry-Howard Correspondence for Linear, Reversible Computation
par: Chardonnet, Kostia, et autres
Publié: (2023)

Complete equational theories for classical and quantum Gaussian relations
par: Booth, Robert I., et autres
Publié: (2024)

Complete Compositional Syntax for Finite Transducers on Finite and Bi-Infinite Words
par: Carette, Titouan, et autres
Publié: (2025)

Reversible Computation with Stacks and "Reversible Management of Failures"
par: Palazzo, Matteo, et autres
Publié: (2025)

Colimit-Based Composition of High-Level Computing Devices
par: Arellanes, Damian
Publié: (2026)

A Cobham theorem for scalar multiplication
par: Hieronymi, Philipp, et autres
Publié: (2024)

Graphical Symplectic Algebra
par: Booth, Robert I., et autres
Publié: (2024)

Bridging Computational Notions of Depth
par: Bienvenu, Laurent, et autres
Publié: (2024)

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings
par: Bernardo, Marco, et autres
Publié: (2024)

Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
par: Bernardo, Marco, et autres
Publié: (2022)

Dynamic Probability Logic: Decidability & Computability
par: Chopoghloo, Somayeh, et autres
Publié: (2024)

Fixed Point Theorems in Computability Theory
par: Terwijn, Sebastiaan A.
Publié: (2024)

Computing with Infinite Objects: the Gray Code Case
par: Spreen, Dieter, et autres
Publié: (2021)

The Algebra of Parity Games
par: Piedeleu, Robin
Publié: (2025)

Meta-Mathematics of Computational Complexity Theory
par: Oliveira, Igor C.
Publié: (2025)

Distributive Laws of Monadic Containers
par: Purdy, Chris, et autres
Publié: (2025)

Yet another cubical type theory, but via a semantic approach
par: Kapulkin, Chris, et autres
Publié: (2025)

(Pointed) Univalence in Universe Category Models of Type Theory
par: Kapulkin, Chris, et autres
Publié: (2025)

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
par: Mannucci, Mirco A., et autres
Publié: (2025)

Hadamard-Pi: Equational Quantum Programming
par: Fang, Wang, et autres
Publié: (2025)

Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types
par: Mannucci, Mirco A., et autres
Publié: (2026)

A Formalization of the Reversible Concurrent Calculus CCSKP in Beluga
par: Cecilia, Gabriele
Publié: (2025)

A Reversible Crumbling Abstract Machine for Plotkin's Call-by-Value
par: Pizzo, Nicolò, et autres
Publié: (2026)

Effect Algebras as Omega-categories
par: Perticone, Lorenzo, et autres
Publié: (2023)

Semantics for a Turing-complete Reversible Programming Language with Inductive Types
par: Chardonnet, Kostia, et autres
Publié: (2023)

A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory
par: Affeldt, Reynald, et autres
Publié: (2023)

Compositional Confluence Criteria
par: Shintani, Kiraku, et autres
Publié: (2023)

Lazy Reimplication in Chronological Backtracking
par: Coutelier, Robin, et autres
Publié: (2025)

Foundations of probability-raising causality in Markov decision processes
par: Baier, Christel, et autres
Publié: (2022)

Blurred Drinker Paradoxes and Blurred Choice Axioms: Constructive Reverse Mathematics of the Downward Löwenheim-Skolem Theorem
par: Kirst, Dominik, et autres
Publié: (2026)

Computation and Concurrency
par: Wang, Yong
Publié: (2024)

Compositional Value Iteration with Pareto Caching
par: Watanabe, Kazuki, et autres
Publié: (2024)