Introduction to Combinatorics and λ-CalculusJ. Roger Hindley, Jonathan P. Seldin1 The λ-calculus
2 Combinatory logic
3 The power of λ and combinators
4 Representing the computable functions
5 The undecidability theorem
6 The formal theories λβ and CLw
7 Extensionality in λ-calculus
8 Extensionality in combinatory logic
9 Correspondence between λ and CL
10 Simple typing, Church-style
11 Simple typing, Curry-style in CL
12 Simple typing, Curry-style in λ
13 Generalizations of typing
14 Mo...
€2,00