5571 results in Programming Languages and Applied Logic
Appendix B - Syntax
-
- Book:
- The B-Book
- Published online:
- 21 January 2010
- Print publication:
- 10 October 1996, pp 715-724
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- The B-Book
- Published online:
- 21 January 2010
- Print publication:
- 10 October 1996, pp i-viii
-
- Chapter
- Export citation
Acknowledgements
-
- Book:
- The B-Book
- Published online:
- 21 January 2010
- Print publication:
- 10 October 1996, pp xii-xiv
-
- Chapter
- Export citation
Appendix F - Proof Obligations
-
- Book:
- The B-Book
- Published online:
- 21 January 2010
- Print publication:
- 10 October 1996, pp 763-774
-
- Chapter
- Export citation
5 - Formal Definition of Abstract Machines
-
- Book:
- The B-Book
- Published online:
- 21 January 2010
- Print publication:
- 10 October 1996, pp 265-282
-
- Chapter
- Export citation
II - Abstract Machines
-
- Book:
- The B-Book
- Published online:
- 21 January 2010
- Print publication:
- 10 October 1996, pp 225-226
-
- Chapter
- Export citation
B - Theorem 8.6.6
-
- Book:
- Axiomatic Domain Theory in Categories of Partial Maps
- Published online:
- 23 November 2009
- Print publication:
- 08 August 1996, pp 205-211
-
- Chapter
- Export citation
Axiomatic Domain Theory in Categories of Partial Maps
-
- Published online:
- 23 November 2009
- Print publication:
- 08 August 1996
3 - Partiality
-
- Book:
- Axiomatic Domain Theory in Categories of Partial Maps
- Published online:
- 23 November 2009
- Print publication:
- 08 August 1996, pp 34-51
-
- Chapter
- Export citation
5 - Data Types
-
- Book:
- Axiomatic Domain Theory in Categories of Partial Maps
- Published online:
- 23 November 2009
- Print publication:
- 08 August 1996, pp 77-105
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Axiomatic Domain Theory in Categories of Partial Maps
- Published online:
- 23 November 2009
- Print publication:
- 08 August 1996, pp 226-232
-
- Chapter
- Export citation
10 - Summary and Further Research
-
- Book:
- Axiomatic Domain Theory in Categories of Partial Maps
- Published online:
- 23 November 2009
- Print publication:
- 08 August 1996, pp 191-201
-
- Chapter
- Export citation
6 - Recursive Types
-
- Book:
- Axiomatic Domain Theory in Categories of Partial Maps
- Published online:
- 23 November 2009
- Print publication:
- 08 August 1996, pp 106-132
-
- Chapter
- Export citation
4 - Order-Enriched Categories of Partial Maps
-
- Book:
- Axiomatic Domain Theory in Categories of Partial Maps
- Published online:
- 23 November 2009
- Print publication:
- 08 August 1996, pp 52-76
-
- Chapter
- Export citation
D - Propositions D.0.1 and D.0.2
-
- Book:
- Axiomatic Domain Theory in Categories of Partial Maps
- Published online:
- 23 November 2009
- Print publication:
- 08 August 1996, pp 222-225
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Axiomatic Domain Theory in Categories of Partial Maps
- Published online:
- 23 November 2009
- Print publication:
- 08 August 1996, pp i-vi
-
- Chapter
- Export citation
2 - Categorical Preliminaries
-
- Book:
- Axiomatic Domain Theory in Categories of Partial Maps
- Published online:
- 23 November 2009
- Print publication:
- 08 August 1996, pp 17-33
-
- Chapter
- Export citation
A - Lemma 8.4.4
-
- Book:
- Axiomatic Domain Theory in Categories of Partial Maps
- Published online:
- 23 November 2009
- Print publication:
- 08 August 1996, pp 202-204
-
- Chapter
- Export citation
Symbol Index
-
- Book:
- Axiomatic Domain Theory in Categories of Partial Maps
- Published online:
- 23 November 2009
- Print publication:
- 08 August 1996, pp 238-240
-
- Chapter
- Export citation
7 - Recursive Types in Cpo-Categories
-
- Book:
- Axiomatic Domain Theory in Categories of Partial Maps
- Published online:
- 23 November 2009
- Print publication:
- 08 August 1996, pp 133-146
-
- Chapter
- Export citation