Book contents
- Frontmatter
- Contents
- Preface
- 1 Introduction
- 2 Categorical Preliminaries
- 3 Partiality
- 4 Order-Enriched Categories of Partial Maps
- 5 Data Types
- 6 Recursive Types
- 7 Recursive Types in Cpo-Categories
- 8 FPC
- 9 Computational Soundness and Adequacy
- 10 Summary and Further Research
- A Lemma 8.4.4
- B Theorem 8.6.6
- C Lemma 9.1.3
- D Propositions D.0.1 and D.0.2
- Bibliography
- Index
- Symbol Index
C - Lemma 9.1.3
Published online by Cambridge University Press: 23 November 2009
- Frontmatter
- Contents
- Preface
- 1 Introduction
- 2 Categorical Preliminaries
- 3 Partiality
- 4 Order-Enriched Categories of Partial Maps
- 5 Data Types
- 6 Recursive Types
- 7 Recursive Types in Cpo-Categories
- 8 FPC
- 9 Computational Soundness and Adequacy
- 10 Summary and Further Research
- A Lemma 8.4.4
- B Theorem 8.6.6
- C Lemma 9.1.3
- D Propositions D.0.1 and D.0.2
- Bibliography
- Index
- Symbol Index
Summary
- Type
- Chapter
- Information
- Axiomatic Domain Theory in Categories of Partial Maps , pp. 212 - 221Publisher: Cambridge University PressPrint publication year: 1996