5570 results in Programming Languages and Applied Logic
Practical Foundations for Programming Languages
-
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016
Index
-
- Book:
- Logic and Algebraic Structures in Quantum Computing
- Published online:
- 05 June 2016
- Print publication:
- 26 February 2016, pp 337-346
-
- Chapter
- Export citation
5 - Operational theories and categorical quantum mechanics
-
-
- Book:
- Logic and Algebraic Structures in Quantum Computing
- Published online:
- 05 June 2016
- Print publication:
- 26 February 2016, pp 88-122
-
- Chapter
- Export citation
3 - The essence of quantum theory for computers
-
-
- Book:
- Logic and Algebraic Structures in Quantum Computing
- Published online:
- 05 June 2016
- Print publication:
- 26 February 2016, pp 42-70
-
- Chapter
- Export citation
2 - Could logic be empirical? The Putnam-Kripke debate
-
-
- Book:
- Logic and Algebraic Structures in Quantum Computing
- Published online:
- 05 June 2016
- Print publication:
- 26 February 2016, pp 23-41
-
- Chapter
- Export citation
6 - Relating operator spaces via adjunctions
-
-
- Book:
- Logic and Algebraic Structures in Quantum Computing
- Published online:
- 05 June 2016
- Print publication:
- 26 February 2016, pp 123-150
-
- Chapter
- Export citation
Logic and Algebraic Structures in Quantum Computing
-
- Published online:
- 05 June 2016
- Print publication:
- 26 February 2016
10 - Knot logic and topological quantum computing with Majorana fermions
-
-
- Book:
- Logic and Algebraic Structures in Quantum Computing
- Published online:
- 05 June 2016
- Print publication:
- 26 February 2016, pp 223-336
-
- Chapter
- Export citation
Contents
-
- Book:
- Logic and Algebraic Structures in Quantum Computing
- Published online:
- 05 June 2016
- Print publication:
- 26 February 2016, pp v-vi
-
- Chapter
- Export citation
7 - Topos-based logic for quantum systems and bi-Heyting algebras
-
-
- Book:
- Logic and Algebraic Structures in Quantum Computing
- Published online:
- 05 June 2016
- Print publication:
- 26 February 2016, pp 151-173
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Logic and Algebraic Structures in Quantum Computing
- Published online:
- 05 June 2016
- Print publication:
- 26 February 2016, pp vii-viii
-
- Chapter
- Export citation
9 - Reasoning about meaning in natural language with compact closed categories and Frobenius algebras
-
-
- Book:
- Logic and Algebraic Structures in Quantum Computing
- Published online:
- 05 June 2016
- Print publication:
- 26 February 2016, pp 199-222
-
- Chapter
- Export citation
Introduction
-
-
- Book:
- Logic and Algebraic Structures in Quantum Computing
- Published online:
- 05 June 2016
- Print publication:
- 26 February 2016, pp 1-7
-
- Chapter
- Export citation
8 - The logic of quantum mechanics – Take II
-
-
- Book:
- Logic and Algebraic Structures in Quantum Computing
- Published online:
- 05 June 2016
- Print publication:
- 26 February 2016, pp 174-198
-
- Chapter
- Export citation
4 - Fiber products of measures and quantum foundations
-
-
- Book:
- Logic and Algebraic Structures in Quantum Computing
- Published online:
- 05 June 2016
- Print publication:
- 26 February 2016, pp 71-87
-
- Chapter
- Export citation
1 - A (very) brief tour of quantum mechanics, computation, and category theory
-
-
- Book:
- Logic and Algebraic Structures in Quantum Computing
- Published online:
- 05 June 2016
- Print publication:
- 26 February 2016, pp 8-22
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Logic and Algebraic Structures in Quantum Computing
- Published online:
- 05 June 2016
- Print publication:
- 26 February 2016, pp i-iv
-
- Chapter
- Export citation
Π12 monotone inductive definitions
- from PART VI - RECURSION THEORY
-
-
- Book:
- Ordinal Definability and Recursion Theory
- Published online:
- 05 December 2015
- Print publication:
- 11 January 2016, pp 476-492
-
- Chapter
- Export citation
An inner models proof of the Kechris–Martin theorem
- from PART V - HOD AND ITS LOCAL VERSIONS
-
-
- Book:
- Ordinal Definability and Recursion Theory
- Published online:
- 05 December 2015
- Print publication:
- 11 January 2016, pp 220-242
-
- Chapter
- Export citation
Measurable cardinals in playful models
- from PART V - HOD AND ITS LOCAL VERSIONS
-
-
- Book:
- Ordinal Definability and Recursion Theory
- Published online:
- 05 December 2015
- Print publication:
- 11 January 2016, pp 115-125
-
- Chapter
- Export citation