24 results
14 - Temporal operators
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 180-192
-
- Chapter
- Export citation
Preface
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp xi-xii
-
- Chapter
- Export citation
10 - Procedure substitutions
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 143-148
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805214/04365/cover/9780521404365.gif)
Programs, Recursion and Unbounded Choice
-
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992
Frontmatter
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp i-iv
-
- Chapter
- Export citation
12 - Induction and refinement
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 160-166
-
- Chapter
- Export citation
References
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 217-220
-
- Chapter
- Export citation
4 - Semantics of recursion
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 66-86
-
- Chapter
- Export citation
13 - The strong preorder
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 167-179
-
- Chapter
- Export citation
Index of concepts and identifiers
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 221-223
-
- Chapter
- Export citation
0 - Introduction
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 1-11
-
- Chapter
- Export citation
List of symbols
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp xiii-xiv
-
- Chapter
- Export citation
6 - Relational semantics
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 101-108
-
- Chapter
- Export citation
5 - Ramifications
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 87-100
-
- Chapter
- Export citation
15 - Predicative fairness
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 193-207
-
- Chapter
- Export citation
3 - Healthiness laws
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 58-65
-
- Chapter
- Export citation
11 - Induction and semantic equality
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 149-159
-
- Chapter
- Export citation
8 - Syntactic criteria
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 116-129
-
- Chapter
- Export citation
9 - Operational semantics of recursion
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 130-142
-
- Chapter
- Export citation
7 - Determinacy and disjunctivity
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 109-115
-
- Chapter
- Export citation