3.1 Semantics of λ→
So far the systems (and also its variant ) had closely related properties. In this chapter we will give two rather different semantics to and to . This will become clear from the intention one has while giving a semantics for these systems, which is as follows. For the Church systems , in which every λ-term comes with its ...