Buchumschlag

Semantics for a Turing-complete Reversible Programming Language with Inductive Types

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Chardonnet, Kostia, Lemonnier, Louis, Valiron, Benoît
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Curry-Howard Correspondence for Linear, Reversible Computation
von: Chardonnet, Kostia, et al.
Veröffentlicht: (2023)

The Tensor-Plus Calculus
von: Chardonnet, Kostia, et al.
Veröffentlicht: (2025)

The Many-Worlds Calculus
von: Chardonnet, Kostia, et al.
Veröffentlicht: (2022)

On Quantum Programming Languages
von: Valiron, Benoît
Veröffentlicht: (2024)

Resource-Aware Quantum Programming with General Recursion and Quantum Control
von: Chardonnet, Kostia, et al.
Veröffentlicht: (2025)

Approximation theory for distant Bang calculus
von: Chardonnet, Kostia, et al.
Veröffentlicht: (2026)

The Semantics of Effects: Centrality, Quantum Control and Reversible Recursion
von: Lemonnier, Louis
Veröffentlicht: (2024)

Compiling Quantum Lambda-Terms into Circuits via the Geometry of Interaction
von: Chardonnet, Kostia, et al.
Veröffentlicht: (2026)

Finding Photonics Circuits via $δ$-weakening SMT
von: Lewis, Marco, et al.
Veröffentlicht: (2025)

A Rewriting Theory for Quantum Lambda-Calculus
von: Faggian, Claudia, et al.
Veröffentlicht: (2024)

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

Non-Cartesian Guarded Recursion with Daggers
von: Lemonnier, Louis
Veröffentlicht: (2024)

Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
von: Carette, TItouan, et al.
Veröffentlicht: (2022)

Impredicative Encodings of (Higher) Inductive Types
von: Awodey, Steve, et al.
Veröffentlicht: (2018)

Topological Semantics for Common Inductive Knowledge
von: Namachivayam, Siddharth
Veröffentlicht: (2026)

Initial Algebras of Domains via Quotient Inductive-Inductive Types
von: van Collem, Simcha, et al.
Veröffentlicht: (2025)

The subTuring degrees
von: Kihara, Takayuki, et al.
Veröffentlicht: (2024)

Incompleteness theorems via Turing category
von: Savelyev, Yasha
Veröffentlicht: (2024)

Did Turing prove the undecidability of the halting problem?
von: Hamkins, Joel David, et al.
Veröffentlicht: (2024)

Master Thesis Impredicative Encodings of Inductive and Coinductive Types
von: Bronsveld, Steven, et al.
Veröffentlicht: (2025)

One rig to control them all
von: Heunen, Chris, et al.
Veröffentlicht: (2025)

Formalising Inductive and Coinductive Containers
von: Damato, Stefania, et al.
Veröffentlicht: (2024)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
von: Almeida, Rodrigo Nicolau
Veröffentlicht: (2023)

Quantum Circuits Are Just a Phase
von: Heunen, Chris, et al.
Veröffentlicht: (2025)

A programming language combining quantum and classical control
von: Dave, Kinnari, et al.
Veröffentlicht: (2025)

Rewriting and Inductive Reasoning
von: Hajdu, Márton, et al.
Veröffentlicht: (2024)

Differentiable Inductive Logic Programming in High-Dimensional Space
von: Purgał, Stanisław J., et al.
Veröffentlicht: (2022)

Fagin's Theorem for Semiring Turing Machines
von: Badia, Guillermo, et al.
Veröffentlicht: (2025)

Equational and Inductive Reasoning for Maude in Athena
von: Sanabria, Mateo, et al.
Veröffentlicht: (2026)

Property Checking Without Inductive Invariants
von: Goldberg, Eugene
Veröffentlicht: (2016)

The complete classification for quantified equality constraints
von: Zhuk, Dmitriy, et al.
Veröffentlicht: (2021)

Towards a Semantic Characterisation of Global Type Well-formedness
von: Castellani, Ilaria, et al.
Veröffentlicht: (2024)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
von: Hansen, Helle Hvid, et al.
Veröffentlicht: (2025)

The Size-Change Principle for Mixed Inductive and Coinductive types
von: Hyvernat, Pierre
Veröffentlicht: (2024)

Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions
von: Su, Wanyun, et al.
Veröffentlicht: (2024)

An Abstract Account of Up-to Techniques for Inductive Behavioural Relations
von: Sangiorgi, Davide
Veröffentlicht: (2024)

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
von: de Jong, Tom
Veröffentlicht: (2024)

A Truly Concurrent Semantics for Reversible CCS
von: Melgratti, Hernán, et al.
Veröffentlicht: (2023)

Compositional Inductive Invariant Inference via Assume-Guarantee Reasoning
von: Dardik, Ian, et al.
Veröffentlicht: (2025)

Inductive Satisfiability Certification for Universal Quantifiers and Uninterpreted Function Symbols
von: Ratschan, Stefan, et al.
Veröffentlicht: (2026)