A New Connective in Natural Deduction, and Its Application to Quantum Computing-Reference-Cited by-同舟云学术

A New Connective in Natural Deduction, and Its Application to Quantum Computing

Published:2021 Issue: Volume: Page:175-193
ISSN:0302-9743
Container-title:Theoretical Aspects of Computing – ICTAC 2021
language:
Short-container-title:

Author:

Díaz-Caro Alejandro,Dowek Gilles

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-85315-0_11

Reference23 articles.

1. Altenkirch, T., Grattage, J.: A functional quantum programming language. In: Proceedings of LICS 2005, pp. 249–258. IEEE (2005)

2. Arrighi, P., Dowek, G.: Lineal: a linear-algebraic lambda-calculus. Log. Methods Comput. Sci. 13(1) (2017)

3. Coecke, B., Kissinger, A.: Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning. Cambridge University Press, Cambridge (2017)

4. Díaz-Caro, A., Dowek, G.: Proof normalisation in a logic identifying isomorphic propositions. In: Geuvers, H. (ed.) 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019). Leibniz International Proceedings in Informatics (LIPIcs), vol. 131, pp. 14:1–14:23. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2019)

5. Díaz-Caro, A., Dowek, G.: A new connective in natural deduction, and its application to quantum computing. arXiv:2012.08994 (2020)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On an Ecumenical Natural Deduction with Stoup. Part I: The Propositional Case;Synthese Library;2023-12-13

2. Core Type Theory;Bulletin of the Section of Logic;2023-08-16

3. A Quick Overview on the Quantum Control Approach to the Lambda Calculus;Electronic Proceedings in Theoretical Computer Science;2022-04-08

4. A New Connective in Natural Deduction, and Its Application to Quantum Computing;Theoretical Aspects of Computing – ICTAC 2021;2021