5571 results in Programming Languages and Applied Logic
14 - Sequentially
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 341-387
-
- Chapter
- Export citation
9 - Powerdomains
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 200-214
-
- Chapter
- Export citation
7 - Domain equations
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 144-167
-
- Chapter
- Export citation
11 - Dependent and second order types
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 240-269
-
- Chapter
- Export citation
Domains and Lambda-Calculi
-
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998
2 - Syntactic theory of the λ-calculus
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 22-42
-
- Chapter
- Export citation
Index
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 480-484
-
- Chapter
- Export citation
8 - Values and computations
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 168-199
-
- Chapter
- Export citation
6 - The Language PCF
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 124-143
-
- Chapter
- Export citation
1 - Continuity and computability
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 1-21
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp i-iv
-
- Chapter
- Export citation
3 - D∞ models and intersection types
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 43-70
-
- Chapter
- Export citation
16 - Functions and processes
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 421-448
-
- Chapter
- Export citation
12 - Stability
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 270-300
-
- Chapter
- Export citation
8 - Lazy Rebuilding
-
- Book:
- Purely Functional Data Structures
- Published online:
- 17 September 2009
- Print publication:
- 13 April 1998, pp 99-114
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Purely Functional Data Structures
- Published online:
- 17 September 2009
- Print publication:
- 13 April 1998, pp 1-6
-
- Chapter
- Export citation
10 - Data-Structural Bootstrapping
-
- Book:
- Purely Functional Data Structures
- Published online:
- 17 September 2009
- Print publication:
- 13 April 1998, pp 141-170
-
- Chapter
- Export citation
9 - Numerical Representations
-
- Book:
- Purely Functional Data Structures
- Published online:
- 17 September 2009
- Print publication:
- 13 April 1998, pp 115-140
-
- Chapter
- Export citation
5 - Fundamentals of Amortization
-
- Book:
- Purely Functional Data Structures
- Published online:
- 17 September 2009
- Print publication:
- 13 April 1998, pp 39-56
-
- Chapter
- Export citation
2 - Persistence
-
- Book:
- Purely Functional Data Structures
- Published online:
- 17 September 2009
- Print publication:
- 13 April 1998, pp 7-16
-
- Chapter
- Export citation