Hey,
wir haben als Beispiel folgenden Ausdruck:
λf .(b λb .(λf .fb ))
(λf .fb ) hier ist f gebunden, b frei
(b λb .(λf .fb )) hier ist f frei und b nach dem Lambda gebunden, was ist aber mit dem b vor dem Lambda?
Und was ist, wenn f in einem Ausdruck gebunden ist, und im anderen nicht? Ist f dann im ganzen Ausdruck gebunden und frei?
Danke im Voraus
