5570 results in Programming Languages and Applied Logic
Part I - Simple Types λA→
-
- Book:
- Lambda Calculus with Types
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013, pp 1-4
-
- Chapter
- Export citation
14 - Basic Properties of Intersection Type Assignment
- from Part III - Intersection Types λS∩
-
- Book:
- Lambda Calculus with Types
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013, pp 619-639
-
- Chapter
- Export citation
Preface
-
- Book:
- Lambda Calculus with Types
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013, pp ix-x
-
- Chapter
- Export citation
5 - Extensions
- from Part I - Simple Types λA→
-
-
- Book:
- Lambda Calculus with Types
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013, pp 243-322
-
- Chapter
- Export citation
11 - Applications
- from Part II - Recursive Types λA=
-
- Book:
- Lambda Calculus with Types
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013, pp 554-576
-
- Chapter
- Export citation
Contributors
-
- Book:
- Lambda Calculus with Types
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013, pp xii-xii
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Lambda Calculus with Types
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013, pp i-iv
-
- Chapter
- Export citation
15 - Type and Lambda Structures
- from Part III - Intersection Types λS∩
-
- Book:
- Lambda Calculus with Types
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013, pp 640-679
-
- Chapter
- Export citation
Part III - Intersection Types λS∩
-
-
- Book:
- Lambda Calculus with Types
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013, pp 577-578
-
- Chapter
- Export citation
4 - Definability, unification and matching
- from Part I - Simple Types λA→
-
-
- Book:
- Lambda Calculus with Types
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013, pp 192-242
-
- Chapter
- Export citation
Indices
-
- Book:
- Lambda Calculus with Types
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013, pp 814-814
-
- Chapter
- Export citation
6 - Applications
- from Part I - Simple Types λA→
-
-
- Book:
- Lambda Calculus with Types
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013, pp 323-376
-
- Chapter
- Export citation
Index of terms
- from Indices
-
- Book:
- Lambda Calculus with Types
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013, pp 815-822
-
- Chapter
- Export citation
Index of Citations
- from Indices
-
- Book:
- Lambda Calculus with Types
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013, pp 823-827
-
- Chapter
- Export citation
Acknowledgements
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp xiii-xiv
-
- Chapter
- Export citation
1 - Permutations
- from PART ONE - THEORY
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 13-28
-
- Chapter
- Export citation
0 - Introduction
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 1-10
-
- Chapter
- Export citation
6 - Equivalents of Nom
- from PART ONE - THEORY
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 95-110
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp i-iv
-
- Chapter
- Export citation
8 - Nominal algebraic data types
- from PART TWO - APPLICATIONS
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 129-152
-
- Chapter
- Export citation