Copertina

Compiling Quantum Lambda-Terms into Circuits via the Geometry of Interaction

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Chardonnet, Kostia, Lago, Ugo Dal, Hoshino, Naohiko, Pistone, Paolo
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

On the Metric Nature of (Differential) Logical Relations
di: Lago, Ugo Dal, et al.
Pubblicazione: (2026)

On The Metric Nature of (Differential) Logical Relations
di: Lago, Ugo Dal, et al.
Pubblicazione: (2025)

On Randomized Computational Models and Complexity Classes: a Historical Overview
di: Antonelli, Melissa, et al.
Pubblicazione: (2024)

Tropical Mathematics and the Lambda-Calculus II: Tropical Geometry of Probabilistic Programming Languages
di: Barbarossa, Davide, et al.
Pubblicazione: (2025)

On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic
di: Lago, Ugo Dal, et al.
Pubblicazione: (2026)

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

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

A Curry-Howard Correspondence for Linear, Reversible Computation
di: Chardonnet, Kostia, et al.
Pubblicazione: (2023)

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

The Lambda Calculus is Quantifiable
di: Maestracci, Valentin, et al.
Pubblicazione: (2024)

Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages
di: Colledan, Andrea, et al.
Pubblicazione: (2024)

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

Linearization via Rewriting (Long Version)
di: Lago, Ugo Dal, et al.
Pubblicazione: (2025)

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

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)

A Characterization of Basic Feasible Functionals Through Higher-Order Rewriting and Tuple Interpretations
di: Baillot, Patrick, et al.
Pubblicazione: (2024)

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

Adding Negation to Lambda Mu
di: van Bakel, Steffen
Pubblicazione: (2021)

Groups and Inverse Semigroups in Lambda Calculus
di: Bucciarelli, Antonio, et al.
Pubblicazione: (2026)

Intersection Types for a Computational Lambda-Calculus with Global State
di: de'Liguoro, Ugo, et al.
Pubblicazione: (2021)

Term Orders for Optimistic Lambda-Superposition
di: Bentkamp, Alexander, et al.
Pubblicazione: (2025)

A Quantum-Control Lambda-Calculus with Multiple Measurement Bases
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2025)

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

On Representability of Multiple-Valued Functions by Linear Lambda Terms Typed with Second-order Polymorphic Type System
di: Matsuoka, Satoshi
Pubblicazione: (2026)

A Typed Lambda-Calculus for Establishing Trust in Probabilistic Programs
di: Genco, Francesco A., et al.
Pubblicazione: (2023)

Lax Modal Lambda Calculi
di: Valliappan, Nachiappan
Pubblicazione: (2025)

One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus
di: Cerna, David M., et al.
Pubblicazione: (2022)

Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo
di: Komel, Anja Petković, et al.
Pubblicazione: (2025)

Minimal Model Counting via Knowledge Compilation
di: Kabir, Mohimenul
Pubblicazione: (2024)

A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications
di: Santo, José Espírito, et al.
Pubblicazione: (2022)

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach
di: Hu, Siwei, et al.
Pubblicazione: (2025)

On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
di: Kobayashi, Naoki
Pubblicazione: (2024)

Basis-Sensitive Quantum Typing via Realisability
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2025)

Verification of Quantum Circuits through Discrete-Time Barrier Certificates
di: Lewis, Marco, et al.
Pubblicazione: (2024)

Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms (Full Version)
di: Takahata, Kanta, et al.
Pubblicazione: (2025)

An Unconventional View on Beta-Reduction in Namefree Lambda-Calculus
di: Nederpelt, Rob, et al.
Pubblicazione: (2026)

Interpreting Lambda Calculus in Domain-Valued Random Variables
di: Furber, Robert, et al.
Pubblicazione: (2021)

(Towards a) Statistical Probabilistic Lazy Lambda Calculus
di: Jagadeesan, Radha
Pubblicazione: (2024)

On Knowledge Compilation For Two-Variable First-Order Logic
di: Meng, Qiaolan, et al.
Pubblicazione: (2026)