5571 results in Programming Languages and Applied Logic
1 - The Algebra of Functions
-
- Book:
- Categories and Computer Science
- Published online:
- 03 December 2009
- Print publication:
- 27 August 1992, pp 3-24
-
- Chapter
- Export citation
Introduction
-
- Book:
- Categories and Computer Science
- Published online:
- 03 December 2009
- Print publication:
- 27 August 1992, pp 1-2
-
- Chapter
- Export citation
3 - Distributive Categories
-
- Book:
- Categories and Computer Science
- Published online:
- 03 December 2009
- Print publication:
- 27 August 1992, pp 55-70
-
- Chapter
- Export citation
Index
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 221-223
-
- Chapter
- Export citation
16 - Boolean Monads
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 199-215
-
- Chapter
- Export citation
9 - Hoare Assertions and while-do
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 118-130
-
- Chapter
- Export citation
Action Semantics
-
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992
11 - Representations by Relations
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 146-160
-
- Chapter
- Export citation
Preface
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp xv-xx
-
- Chapter
- Export citation
Chapter 18 - Other Frameworks
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 207-216
-
- Chapter
- Export citation
Part II - Action Notation
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 57-58
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 350-356
-
- Chapter
- Export citation
Part II - Structure of a Boolean Category
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 71-71
-
- Chapter
- Export citation
Chapter 11 - Statements
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 131-135
-
- Chapter
- Export citation
Chapter 15 - Variables
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 163-176
-
- Chapter
- Export citation
Predicate Transformer Semantics
-
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992
Chapter 2 - Action Semantic Descriptions
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 21-35
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp i-vi
-
- Chapter
- Export citation
Appendix G - Assessment
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 347-349
-
- Chapter
- Export citation
10 - Predicate Transformers
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 131-145
-
- Chapter
- Export citation