Gay, Simon J.; Nagarajan, Rajagopal Types and typechecking for communicating quantum processes. (English) Zbl 1122.68059 Math. Struct. Comput. Sci. 16, No. 3, 375-406 (2006). MSC: 68Q10 81P68 68Q85 68Q60 PDFBibTeX XMLCite \textit{S. J. Gay} and \textit{R. Nagarajan}, Math. Struct. Comput. Sci. 16, No. 3, 375--406 (2006; Zbl 1122.68059) Full Text: DOI
Gay, Simon J.; Nagarajan, Rajagopal Communicating quantum processes. (English) Zbl 1369.68207 Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’05, Long Beach, CA, USA, January 12–14, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-830-X). 145-157 (2005). MSC: 68Q05 68Q10 68Q60 68Q85 81P68 PDFBibTeX XMLCite \textit{S. J. Gay} and \textit{R. Nagarajan}, in: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '05, Long Beach, CA, USA, January 12--14, 2005. New York, NY: Association for Computing Machinery (ACM). 145--157 (2005; Zbl 1369.68207) Full Text: DOI arXiv
Crole, Roy; Gay, Simon; Nagarajan, Rajagopal An internal language for interaction categories. (English) Zbl 0842.03047 Hankin, C. (ed.) et al., Theory and formal methods of computing 94. Proceedings of the second Imperial College workshop held in Cambridge, UK, September 11-14, 1994. Singapore: Imperial College Press (distrib. by World Scientific). 85-104 (1995). MSC: 03G30 68Q10 PDFBibTeX XMLCite \textit{R. Crole} et al., in: Theory and formal methods of computing 94. Proceedings of the second Imperial College workshop held in Cambridge, UK, September 11-14, 1994. Singapore: Imperial College Press (distrib. by World Scientific). 85--104 (1995; Zbl 0842.03047)