A new connective in natural deduction, and its application to quantum computing

DOI10.1007/978-3-030-85315-0_11OpenAlexW3111235101MaRDI QIDQ5918648

Gilles Dowek, Alejandro Díaz-Caro

Publication date: 31 March 2022

Published in: Theoretical Aspects of Computing – ICTAC 2021 (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2012.08994

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (2)

A pure view of ecumenical modalities ⋮ Core Type Theory

Uses Software

• Pesca
• QML

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• General-elimination stability
• General-elimination harmony and the meaning of the logical constants
• A formal framework for specifying sequent calculus proof systems
• A categorical construction for the computational definition of vector spaces
• Picturing Quantum Processes
• On quantum lambda calculi: a foundational perspective
• A natural extension of natural deduction
• Identity and harmony
• A proof theory for generic judgments
• A lambda calculus for quantum computation with classical control

This page was built for publication: A new connective in natural deduction, and its application to quantum computing