Cover Image

Basis-Sensitive Quantum Typing via Realisability

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Díaz-Caro, Alejandro, Malherbe, Octavio, Romero, Rafael
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A concrete model for a typed linear algebraic lambda calculus
by: Díaz-Caro, Alejandro, et al.
Published: (2018)

A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
by: Díaz-Caro, Alejandro, et al.
Published: (2023)

A linear proof language for second-order intuitionistic linear logic
by: Díaz-Caro, Alejandro, et al.
Published: (2023)

Beyond Monads and Biproducts: A Uniform Interpretation of Parallelism in Intuitionistic Logic
by: Díaz-Caro, Alejandro, et al.
Published: (2024)

The Sup Connective in IMALL: A Categorical Semantics
by: Díaz-Caro, Alejandro, et al.
Published: (2022)

An Algebraic Extension of Intuitionistic Linear Logic: The $L_!^S$-Calculus and Its Categorical Model
by: Díaz-Caro, Alejandro, et al.
Published: (2025)

Towards a Computational Quantum Logic: An Overview of an Ongoing Research Program
by: Díaz-Caro, Alejandro
Published: (2025)

IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation
by: Dave, Kinnari, et al.
Published: (2025)

Linear Realisability and Implicative Algebras
by: Lucquin, Alexandre, et al.
Published: (2026)

Expectation-based Analysis of Higher-Order Quantum Programs
by: Avanzini, Martin, et al.
Published: (2025)

A new introduction rule for disjunction
by: Díaz-Caro, Alejandro, et al.
Published: (2025)

A linear linear lambda-calculus
by: Díaz-Caro, Alejandro, et al.
Published: (2022)

Proceedings of the 21st International Conference on Quantum Physics and Logic
by: Díaz-Caro, Alejandro, et al.
Published: (2024)

Linear Realisability over nets: multiplicatives (long version)
by: Ragot, Adrien, et al.
Published: (2024)

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

On Small Types in Univalent Foundations
by: de Jong, Tom, et al.
Published: (2021)

Primitive Recursive Dependent Type Theory
by: Buchholtz, Ulrik, et al.
Published: (2024)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
by: Hermes, Marc, et al.
Published: (2023)

A Naive Encoding of Russell's Paradox in Type Theory
by: Qu, Zhuoyuan
Published: (2025)

Non-Derivability Results in Polymorphic Dependent Type Theory
by: Geuvers, Herman
Published: (2026)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
by: Gratzer, Daniel, et al.
Published: (2024)

A topological reading of inductive and coinductive definitions in Dependent Type Theory
by: Sabelli, Pietro
Published: (2024)

Proceedings of the 22nd International Conference on Quantum Physics and Logic
by: Díaz-Caro, Alejandro, et al.
Published: (2025)

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
by: Takahashi, Yuta
Published: (2024)

Quantum modal logic
by: Tokuo, Kenji
Published: (2025)

Constructive Quantum Logics
by: Aguilera, Juan P., et al.
Published: (2025)

Decidability of Quantum Modal Logic
by: Tokuo, Kenji
Published: (2026)

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
by: Mannucci, Mirco A., et al.
Published: (2025)

Quantum Bayesian Networks: Compositionality and Typing via Linear Logic
by: Di Guardia, Rémi, et al.
Published: (2026)

Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types
by: Mannucci, Mirco A., et al.
Published: (2026)

Generalized Decidability via Brouwer Trees
by: de Jong, Tom, et al.
Published: (2026)

Incompleteness theorems via Turing category
by: Savelyev, Yasha
Published: (2024)

Intuitionistic monotone modal logic via translation
by: de Groot, Jim
Published: (2025)

Cyclic Proofs for iGL via Corecursion
by: Miranda, Borja Sierra
Published: (2023)

Consistent Update Synthesis via Privatized Beliefs
by: Schlögl, Thomas, et al.
Published: (2024)

A Diagrammatic Basis for Computer Programming
by: Bonchi, Filippo, et al.
Published: (2025)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
by: Hansen, Helle Hvid, et al.
Published: (2025)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
by: Lyon, Tim S.
Published: (2024)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
by: Das, Anupam, et al.
Published: (2024)

Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
by: Lyon, Tim S., et al.
Published: (2026)