5570 results in Programming Languages and Applied Logic
7 - Extended Measurement Calculus
-
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp 235-310
-
- Chapter
- Export citation
9 - The Structure of Partial Isometries
-
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp 361-388
-
- Chapter
- Export citation
3 - Generalized Proof-Nets for Compact Categories with Biproducts
-
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp 70-134
-
- Chapter
- Export citation
1 - No-Cloning in Categorical Quantum Mechanics
-
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp 1-28
-
- Chapter
- Export citation
5 - The Quantum IO Monad
-
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp 173-205
-
- Chapter
- Export citation
Index
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp 473-478
-
- Chapter
- 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
2 - Classical and Quantum Structuralism
-
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp 29-69
-
- Chapter
- Export citation
Contents
-
- Book:
- Semantic Techniques in Quantum Computation
- Published online:
- 05 July 2014
- Print publication:
- 30 November 2009, pp v-vi
-
- Chapter
- Export citation
24 - Computational science: a new frontier for computing
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 529-546
-
- Chapter
- Export citation
16 - Nominal verification of algorithm W
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 363-382
-
- Chapter
- Export citation
20 - Two-by-two static, evolutionary, and dynamic games
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 465-488
-
- Chapter
- Export citation
5 - Kahn networks at the dawn of functional programming
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 95-138
-
- Chapter
- Export citation
Contents
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp v-viii
-
- Chapter
- Export citation
23 - Can a systems biologist fix a Tamagotchi?
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 517-528
-
- Chapter
- Export citation
14 - The Leordo computation system
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 309-336
-
- Chapter
- Export citation
4 - The semantics of dataflow with firing
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 71-94
-
- Chapter
- Export citation
25 - The descendants of Centaur: a personal view on Gilles Kahn's work
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 547-560
-
- Chapter
- Export citation
7 - Program semantics and infinite regular terms
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 165-168
-
- Chapter
- Export citation
12 - Towards a theory of document structure
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 265-280
-
- Chapter
- Export citation