43 results
Theoretical Pearls: Self-interpretation in lambda calculus
-
- Journal:
- Journal of Functional Programming / Volume 1 / Issue 2 / April 1991
- Published online by Cambridge University Press:
- 10 August 2016, pp. 229-233
-
- Article
-
- You have access
- Export citation
Introduction to generalized type systems
-
- Journal:
- Journal of Functional Programming / Volume 1 / Issue 2 / April 1991
- Published online by Cambridge University Press:
- 10 August 2016, pp. 125-154
-
- Article
-
- You have access
- Export citation
Foreword
-
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp xiii-xiv
-
- 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
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
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