8 results
Preface to special issue: behavioural types
-
- Journal:
- Mathematical Structures in Computer Science / Volume 26 / Issue 2 / February 2016
- Published online by Cambridge University Press:
- 17 November 2014, pp. 154-155
-
- Article
-
- You have access
- Export citation
Preface to special issue: behavioural types
-
- Journal:
- Mathematical Structures in Computer Science / Volume 26 / Issue 3 / March 2016
- Published online by Cambridge University Press:
- 10 November 2014, pp. 365-366
-
- Article
-
- You have access
- Export citation
Contributors
-
-
- Book:
- The Cambridge Dictionary of Christianity
- Published online:
- 05 August 2012
- Print publication:
- 20 September 2010, pp xi-xliv
-
- Chapter
- Export citation
Linear type theory for asynchronous session types
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 1 / January 2010
- Published online by Cambridge University Press:
- 08 December 2009, pp. 19-50
-
- Article
-
- You have access
- Export citation
11 - Specification and Verification of Quantum Protocols
-
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp 414-472
-
- Chapter
- Export citation
Bounded polymorphism in session types
-
- Journal:
- Mathematical Structures in Computer Science / Volume 18 / Issue 5 / October 2008
- Published online by Cambridge University Press:
- 01 October 2008, pp. 895-930
-
- Article
- Export citation
Quantum programming languages: survey and bibliography
-
- Journal:
- Mathematical Structures in Computer Science / Volume 16 / Issue 4 / August 2006
- Published online by Cambridge University Press:
- 24 July 2006, pp. 581-600
-
- Article
- Export citation
Types and typechecking for Communicating Quantum Processes
-
- Journal:
- Mathematical Structures in Computer Science / Volume 16 / Issue 3 / June 2006
- Published online by Cambridge University Press:
- 04 July 2006, pp. 375-406
-
- Article
- Export citation