3 results
A typed, algebraic, computational lambda-calculus†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 23 / Issue 2 / April 2013
- Published online by Cambridge University Press:
- 28 February 2013, pp. 504-554
-
- 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