5570 results in Programming Languages and Applied Logic
PART ONE - THEORY
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 11-12
-
- Chapter
- Export citation
9 - Locally scoped names
- from PART TWO - APPLICATIONS
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 153-176
-
- Chapter
- Export citation
2 - Support
- from PART ONE - THEORY
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 29-48
-
- Chapter
- Export citation
Nominal Sets
- Names and Symmetry in Computer Science
-
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013
Contents
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp vii-x
-
- Chapter
- Export citation
PART TWO - APPLICATIONS
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 111-112
-
- Chapter
- Export citation
References
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 257-268
-
- Chapter
- Export citation
12 - Computational logic
- from PART TWO - APPLICATIONS
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 240-256
-
- Chapter
- Export citation
7 - Inductive and coinductive definitions
- from PART TWO - APPLICATIONS
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 113-128
-
- Chapter
- Export citation
Index of notation
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 269-271
-
- Chapter
- Export citation
4 - Name abstraction
- from PART ONE - THEORY
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 59-77
-
- Chapter
- Export citation
11 - Domain theory
- from PART TWO - APPLICATIONS
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 219-239
-
- Chapter
- Export citation
10 - Functional programming
- from PART TWO - APPLICATIONS
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 177-218
-
- Chapter
- Export citation
Index
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 272-276
-
- Chapter
- Export citation
5 - Orbit-finiteness
- from PART ONE - THEORY
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 78-94
-
- Chapter
- Export citation
Preface
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp xi-xiii
-
- Chapter
- Export citation
3 - Freshness
- from PART ONE - THEORY
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 49-58
-
- Chapter
- Export citation
Dedication
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp v-vi
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Systematic Program Design
- Published online:
- 05 June 2013
- Print publication:
- 20 May 2013, pp i-vi
-
- Chapter
- Export citation
6 - Objects: incrementalize across module abstraction
-
- Book:
- Systematic Program Design
- Published online:
- 05 June 2013
- Print publication:
- 20 May 2013, pp 151-186
-
- Chapter
- Export citation