5571 results in Programming Languages and Applied Logic
18 - Module Specification
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp 398-414
-
- Chapter
- Export citation
7 - Nondeterminism and Guarded Commands
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp 136-154
-
- Chapter
- Export citation
2 - The Simple Imperative Language
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp 24-53
-
- Chapter
- Export citation
10 - The Lambda Calculus
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp 194-221
-
- Chapter
- Export citation
14 - A Normal-Order Language
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp 298-314
-
- Chapter
- Export citation
5 - Failure, Input-Output, and Continuations
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp 97-125
-
- Chapter
- Export citation
Theories of Programming Languages
-
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998
9 - Communicating Sequential Processes
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp 181-193
-
- Chapter
- Export citation
4 - Arrays
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp 81-96
-
- Chapter
- Export citation
Contents
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp v-viii
-
- Chapter
- Export citation
Appendix 1 - Summary of recursion theory
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 449-453
-
- Chapter
- Export citation
5 - CCC's of algebraic dcpo's
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 105-123
-
- Chapter
- Export citation
13 - Towards linear logic
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 301-340
-
- Chapter
- Export citation
15 - Domains and realizability
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 388-420
-
- Chapter
- Export citation
Notation
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp xv-xvi
-
- Chapter
- Export citation
10 - Stone duality
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 215-239
-
- Chapter
- Export citation
Preface
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp ix-xiv
-
- Chapter
- Export citation
References and bibliography
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 469-479
-
- Chapter
- Export citation
Appendix 2 - Summary of category theory
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 454-468
-
- Chapter
- Export citation
4 - Interpretation of λ-calculi in CCC's
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 71-104
-
- Chapter
- Export citation