5570 results in Programming Languages and Applied Logic
Preface
-
- Book:
- Effective Mathematics of the Uncountable
- Published online:
- 05 December 2013
- Print publication:
- 31 October 2013, pp vii-viii
-
- Chapter
- Export citation
8 - Properties of Recursive Types
- from Part II - Recursive Types λA=
-
- Book:
- Lambda Calculus with Types
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013, pp 451-493
-
- Chapter
- Export citation
10 - Models
- from Part II - Recursive Types λA=
-
- Book:
- Lambda Calculus with Types
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013, pp 520-553
-
- Chapter
- Export citation
1 - The Simply Typed Lambda Calculus
- from Part I - Simple Types λA→
-
- Book:
- Lambda Calculus with Types
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013, pp 5-54
-
- Chapter
- Export citation
17 - Advanced Properties and Applications
- from Part III - Intersection Types λS∩
-
-
- Book:
- Lambda Calculus with Types
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013, pp 728-790
-
- Chapter
- Export citation
12 - An Example System
- from Part III - Intersection Types λS∩
-
- Book:
- Lambda Calculus with Types
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013, pp 579-590
-
- Chapter
- Export citation
Part II - Recursive Types λA=
-
-
- Book:
- Lambda Calculus with Types
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013, pp 377-378
-
- Chapter
- Export citation
9 - Properties of Terms with Types λA=
- from Part II - Recursive Types λA=
-
- Book:
- Lambda Calculus with Types
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013, pp 494-519
-
- Chapter
- Export citation
3 - Tools
- from Part I - Simple Types λA→
-
- Book:
- Lambda Calculus with Types
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013, pp 94-191
-
- Chapter
- Export citation
Acknowledgments
-
- Book:
- Lambda Calculus with Types
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013, pp x-xi
-
- Chapter
- Export citation
7 - The Systems λA=
- from Part II - Recursive Types λA=
-
- Book:
- Lambda Calculus with Types
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013, pp 379-450
-
- Chapter
- Export citation
13 - Type Assignment Systems
- from Part III - Intersection Types λS∩
-
- Book:
- Lambda Calculus with Types
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013, pp 591-618
-
- Chapter
- Export citation
Introduction
-
- Book:
- Lambda Calculus with Types
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013, pp xv-xxii
-
- Chapter
- Export citation
Our Founders
-
- Book:
- Lambda Calculus with Types
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013, pp xiii-xiv
-
- Chapter
- Export citation
16 - Filter Models
- from Part III - Intersection Types λS∩
-
- Book:
- Lambda Calculus with Types
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013, pp 680-727
-
- Chapter
- Export citation
Index of Symbols
- from Indices
-
- Book:
- Lambda Calculus with Types
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013, pp 828-833
-
- Chapter
- Export citation
Contents
-
- Book:
- Lambda Calculus with Types
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013, pp v-viii
-
- Chapter
- Export citation
2 - Properties
- from Part I - Simple Types λA→
-
- Book:
- Lambda Calculus with Types
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013, pp 55-93
-
- Chapter
- Export citation
References
-
- Book:
- Lambda Calculus with Types
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013, pp 791-813
-
- Chapter
- Export citation
Lambda Calculus with Types
-
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013