5571 results in Programming Languages and Applied Logic
7 - Preadditive Categories
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 98-105
-
- Chapter
- Export citation
6 - Null and Total Morphisms
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 90-97
-
- Chapter
- Export citation
Chapter 19 - Development
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 217-228
-
- Chapter
- Export citation
Part IV - Conclusion
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 205-206
-
- Chapter
- Export citation
Contents
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp v-xii
-
- Chapter
- Export citation
Chapter 10 - Communicative
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 120-128
-
- Chapter
- Export citation
Concept Index
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 365-372
-
- Chapter
- Export citation
Part I - Introduction
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 1-2
-
- Chapter
- Export citation
12 - Deterministic Morphisms
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 161-170
-
- Chapter
- Export citation
Two-Level Functional Languages
-
- Published online:
- 12 October 2009
- Print publication:
- 16 July 1992
Summary of Transformation Functions
-
- Book:
- Two-Level Functional Languages
- Published online:
- 12 October 2009
- Print publication:
- 16 July 1992, pp 293-294
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Two-Level Functional Languages
- Published online:
- 12 October 2009
- Print publication:
- 16 July 1992, pp i-iv
-
- Chapter
- Export citation
2 - Types Made Explicit
-
- Book:
- Two-Level Functional Languages
- Published online:
- 12 October 2009
- Print publication:
- 16 July 1992, pp 7-32
-
- Chapter
- Export citation
7 - Abstract Interpretation
-
- Book:
- Two-Level Functional Languages
- Published online:
- 12 October 2009
- Print publication:
- 16 July 1992, pp 207-252
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Two-Level Functional Languages
- Published online:
- 12 October 2009
- Print publication:
- 16 July 1992, pp 285-292
-
- Chapter
- Export citation
6 - Code Generation
-
- Book:
- Two-Level Functional Languages
- Published online:
- 12 October 2009
- Print publication:
- 16 July 1992, pp 139-206
-
- Chapter
- Export citation
4 - Combinators Made Explicit
-
- Book:
- Two-Level Functional Languages
- Published online:
- 12 October 2009
- Print publication:
- 16 July 1992, pp 79-106
-
- Chapter
- Export citation
8 - Conclusion
-
- Book:
- Two-Level Functional Languages
- Published online:
- 12 October 2009
- Print publication:
- 16 July 1992, pp 253-284
-
- Chapter
- Export citation
Index
-
- Book:
- Two-Level Functional Languages
- Published online:
- 12 October 2009
- Print publication:
- 16 July 1992, pp 295-299
-
- Chapter
- Export citation
5 - Parameterized Semantics
-
- Book:
- Two-Level Functional Languages
- Published online:
- 12 October 2009
- Print publication:
- 16 July 1992, pp 107-138
-
- Chapter
- Export citation