Author:
Yoshimizu Akira,Hasuo Ichiro,Faggian Claudia,Dal Lago Ugo
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. 19th IEEE Symposium on Logic in Computer Science (LICS 2004), Turku, Finland, July 14-17. Proceedings. IEEE Computer Society (2004)
2. Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. In: LICS [1], pp. 415–425
3. Dal Lago, U., Faggian, C.: On multiplicative linear logic, modality and quantum circuits. In: Jacobs, B., Selinger, P., Spitters, B. (eds.) QPL. EPTCS, vol. 95, pp. 55–66 (2011)
4. Dal Lago, U., Zorzi, M.: Wave-style token machines and quantum lambda calculi (2013)
5. Danos, V., Regnier, L.: The structure of multiplicatives. Arch. for Math. Logic 28(3), 181–203 (1989)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Parallelism and Synchronization in an Infinitary Context;2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science;2015-07
2. Wave-Style Token Machines and Quantum Lambda Calculi;Electronic Proceedings in Theoretical Computer Science;2015-02-16
3. Memoryful geometry of interaction;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14
4. The geometry of synchronization;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14
5. Measurements in Proof Nets as Higher-Order Quantum Circuits;Lecture Notes in Computer Science;2014