Linear-algebraic λ-calculus: higher-order, encodings, and confluence.-Reference-Cited by-同舟云学术

Linear-algebraic λ-calculus: higher-order, encodings, and confluence.

Published: Issue: Volume: Page:17-31
ISSN:0302-9743
Container-title:Rewriting Techniques and Applications
language:
Short-container-title:

Author:

Arrighi Pablo,Dowek Gilles

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-70590-1_2.pdf

Reference30 articles.

1. Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols LICS. IEEE Computer Society, 415–425 (2004)

2. Altenkirch, T., Grattage, J., Vizzotto, J.K., Sabry, A.: An Algebra of Pure Quantum Programming. In: Third International Workshop on Quantum Programming Languages. Electronic Notes of Theoretical Computer Science, vol. 170C, pp. 23–47 (2007)

3. Arrighi, P., Dowek, G.: A computational definition of the notion of vectorial space. ENTCS 117, 249–261 (2005)

4. Arrighi, P., Dowek, G.: Linear-algebraic lambda-calculus. In: Selinger, P. (ed.) International workshop on quantum programming languages, Turku Centre for Computer Science General Publication, vol. 33, pp. 21–38 (2004)

5. Arrighi, P., Dowek, G.: Linear-algebraic lambda-calculus: higher-order, encodings, confluence, arXiv:quant-ph/0612199.

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

1. Extensional proofs in a propositional logic modulo isomorphisms;Theoretical Computer Science;2023-10

2. Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model;Logical Methods in Computer Science;2022-09-12

3. Semantics of quantum programming languages: Classical control, quantum control;Journal of Logical and Algebraic Methods in Programming;2022-08

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

5. Algeo: An Algebraic Approach to Reversibility;Reversible Computation;2022