5570 results in Programming Languages and Applied Logic
List of Illustrations
-
- Book:
- Introduction to Choreographies
- Published online:
- 11 May 2023
- Print publication:
- 25 May 2023, pp ix-x
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Introduction to Choreographies
- Published online:
- 11 May 2023
- Print publication:
- 25 May 2023, pp i-iv
-
- Chapter
- Export citation
10 - Choreographic Choice
- from Part III - Extensions and Variations
-
- Book:
- Introduction to Choreographies
- Published online:
- 11 May 2023
- Print publication:
- 25 May 2023, pp 184-190
-
- Chapter
- Export citation
5 - Memory and Local Computation
- from Part II - Computation
-
- Book:
- Introduction to Choreographies
- Published online:
- 11 May 2023
- Print publication:
- 25 May 2023, pp 95-105
-
- Chapter
- Export citation
Part III - Extensions and Variations
-
- Book:
- Introduction to Choreographies
- Published online:
- 11 May 2023
- Print publication:
- 25 May 2023, pp 177-178
-
- Chapter
- Export citation
Index
-
- Book:
- Introduction to Choreographies
- Published online:
- 11 May 2023
- Print publication:
- 25 May 2023, pp 227-230
-
- Chapter
- Export citation
7 - Recursion
- from Part II - Computation
-
- Book:
- Introduction to Choreographies
- Published online:
- 11 May 2023
- Print publication:
- 25 May 2023, pp 134-155
-
- Chapter
- Export citation
4 - Endpoint Projection
- from Part I - Foundations
-
- Book:
- Introduction to Choreographies
- Published online:
- 11 May 2023
- Print publication:
- 25 May 2023, pp 76-90
-
- Chapter
- Export citation
6 - Conditionals and Knowledge of Choice
- from Part II - Computation
-
- Book:
- Introduction to Choreographies
- Published online:
- 11 May 2023
- Print publication:
- 25 May 2023, pp 106-133
-
- Chapter
- Export citation
Contents
-
- Book:
- Introduction to Choreographies
- Published online:
- 11 May 2023
- Print publication:
- 25 May 2023, pp v-viii
-
- Chapter
- Export citation
Part I - Foundations
-
- Book:
- Introduction to Choreographies
- Published online:
- 11 May 2023
- Print publication:
- 25 May 2023, pp 11-14
-
- Chapter
- Export citation
29 - On the Computational Content of Choice Principles
- from Part VI - Aspects of Computation
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 806-825
-
- Chapter
- Export citation
23 - An Introduction to Constructive Reverse Mathematics
- from Part V - Logic and Foundations
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 636-660
-
- Chapter
- Export citation
20 - The Minimalist Foundation and Bishop’s Constructive Mathematics
- from Part V - Logic and Foundations
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 525-563
-
- Chapter
- Export citation
16 - Subspaces in Pointfree Topology: Towards a New Approach to Measure Theory
- from Part IV - Topology
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 426-444
-
- Chapter
- Export citation
5 - Constructive Algebra: The Quillen–Suslin Theorem
- from Part II - Algebra and Geometry
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 114-149
-
- Chapter
- Export citation
Part II - Algebra and Geometry
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 91-92
-
- Chapter
- Export citation
24 - Systems for Constructive Reverse Mathematics
- from Part V - Logic and Foundations
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 661-699
-
- Chapter
- Export citation
28 - Efficient Algorithms from Proofs in Constructive Analysis
- from Part VI - Aspects of Computation
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 777-805
-
- Chapter
- Export citation
13 - A Leisurely Random Walk Down the Lane of a Constructive Theory of Stochastic Processes
- from Part III - Analysis
-
- Book:
- Handbook of Constructive Mathematics
- Published online:
- 04 May 2023
- Print publication:
- 11 May 2023, pp 333-356
-
- Chapter
- Export citation