×

Found 3 Documents (Results 1–3)

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
Full Text: DOI arXiv

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

Filter Results by …

Document Type

Year of Publication

Main Field

Software