7 results
Temperature dependant structural changes in thin films of random semifluorinated PMMA copolymers
-
- Journal:
- Powder Diffraction / Volume 28 / Issue S2 / September 2013
- Published online by Cambridge University Press:
- 14 November 2013, pp. S144-S160
-
- Article
- Export citation
4 - Quantum Lambda Calculus
-
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp 135-172
-
- Chapter
- Export citation
A lambda calculus for quantum computation with classical control
-
- Journal:
- Mathematical Structures in Computer Science / Volume 16 / Issue 3 / June 2006
- Published online by Cambridge University Press:
- 04 July 2006, pp. 527-552
-
- Article
- Export citation
Special issue on quantum programming languages
-
- Journal:
- Mathematical Structures in Computer Science / Volume 16 / Issue 3 / June 2006
- Published online by Cambridge University Press:
- 04 July 2006, pp. 373-374
-
- Article
-
- You have access
- Export citation
Towards a quantum programming language
-
- Journal:
- Mathematical Structures in Computer Science / Volume 14 / Issue 4 / August 2004
- Published online by Cambridge University Press:
- 05 August 2004, pp. 527-586
-
- Article
- Export citation
The lambda calculus is algebraic
-
- Journal:
- Journal of Functional Programming / Volume 12 / Issue 6 / November 2002
- Published online by Cambridge University Press:
- 06 November 2002, pp. 549-566
-
- Article
-
- You have access
- Export citation
Control categories and duality: on the categorical semantics of the lambda-mu calculus
-
- Journal:
- Mathematical Structures in Computer Science / Volume 11 / Issue 2 / April 2001
- Published online by Cambridge University Press:
- 30 March 2001, pp. 207-260
-
- Article
- Export citation