
The Library
Browse by Funded research at the University of Warwick
![]() | Up a level |
Jump to: Journal Article
Number of items: 1.
Journal Article
Gay, Simon J. and Nagarajan, Rajagopal (2010) Types and typechecking for communicating quantum processes. Mathematical Structures in Computer Science, Vol.16 (No.3). pp. 375-406. doi:10.1017/S0960129506005263 ISSN 0960-1295.