5570 results in Programming Languages and Applied Logic
5 - The undecidability theorem
-
- Book:
- Lambda-Calculus and Combinators
- Published online:
- 05 June 2012
- Print publication:
- 24 July 2008, pp 63-68
-
- Chapter
- Export citation
Appendix A3 - Strong normalization proofs
-
- Book:
- Lambda-Calculus and Combinators
- Published online:
- 05 June 2012
- Print publication:
- 24 July 2008, pp 293-304
-
- Chapter
- Export citation
4 - Representing the computable functions
-
- Book:
- Lambda-Calculus and Combinators
- Published online:
- 05 June 2012
- Print publication:
- 24 July 2008, pp 47-62
-
- Chapter
- Export citation
8 - Extensionality in combinatory logic
-
- Book:
- Lambda-Calculus and Combinators
- Published online:
- 05 June 2012
- Print publication:
- 24 July 2008, pp 82-91
-
- Chapter
- Export citation
Contents
-
- Book:
- Lambda-Calculus and Combinators
- Published online:
- 05 June 2012
- Print publication:
- 24 July 2008, pp vi-viii
-
- Chapter
- Export citation
Preface
-
- Book:
- Lambda-Calculus and Combinators
- Published online:
- 05 June 2012
- Print publication:
- 24 July 2008, pp ix-xii
-
- Chapter
- Export citation
3 - The power of λ and combinators
-
- Book:
- Lambda-Calculus and Combinators
- Published online:
- 05 June 2012
- Print publication:
- 24 July 2008, pp 33-46
-
- Chapter
- Export citation
2 - Combinatory logic
-
- Book:
- Lambda-Calculus and Combinators
- Published online:
- 05 June 2012
- Print publication:
- 24 July 2008, pp 21-32
-
- Chapter
- Export citation
14 - Models of CL
-
- Book:
- Lambda-Calculus and Combinators
- Published online:
- 05 June 2012
- Print publication:
- 24 July 2008, pp 220-228
-
- Chapter
- Export citation
Appendix A1 - Bound variables and α-conversion
-
- Book:
- Lambda-Calculus and Combinators
- Published online:
- 05 June 2012
- Print publication:
- 24 July 2008, pp 276-281
-
- Chapter
- Export citation
10 - Simple typing, Church-style
-
- Book:
- Lambda-Calculus and Combinators
- Published online:
- 05 June 2012
- Print publication:
- 24 July 2008, pp 107-118
-
- Chapter
- Export citation
16 - Scott's D∞ and other models
-
- Book:
- Lambda-Calculus and Combinators
- Published online:
- 05 June 2012
- Print publication:
- 24 July 2008, pp 247-275
-
- Chapter
- Export citation
References
-
- Book:
- Lambda-Calculus and Combinators
- Published online:
- 05 June 2012
- Print publication:
- 24 July 2008, pp 323-333
-
- Chapter
- Export citation
6 - The formal theories λβ and CLw
-
- Book:
- Lambda-Calculus and Combinators
- Published online:
- 05 June 2012
- Print publication:
- 24 July 2008, pp 69-75
-
- Chapter
- Export citation
List of symbols
-
- Book:
- Lambda-Calculus and Combinators
- Published online:
- 05 June 2012
- Print publication:
- 24 July 2008, pp 334-336
-
- Chapter
- Export citation
12 - Simple typing, Curry-style in λ
-
- Book:
- Lambda-Calculus and Combinators
- Published online:
- 05 June 2012
- Print publication:
- 24 July 2008, pp 159-179
-
- Chapter
- Export citation
Lambda-Calculus and Combinators
- An Introduction
-
- Published online:
- 05 June 2012
- Print publication:
- 24 July 2008
13 - Generalizations of typing
-
- Book:
- Lambda-Calculus and Combinators
- Published online:
- 05 June 2012
- Print publication:
- 24 July 2008, pp 180-219
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Lambda-Calculus and Combinators
- Published online:
- 05 June 2012
- Print publication:
- 24 July 2008, pp i-v
-
- Chapter
- Export citation
15 - Models of λ-calculus
-
- Book:
- Lambda-Calculus and Combinators
- Published online:
- 05 June 2012
- Print publication:
- 24 July 2008, pp 229-246
-
- Chapter
- Export citation