« Return to Teaching
Réduire les termes suivants où I = λx.x :
- (λx. x x) a — duplication
- (λx. x x) (λa. a) — passage de fonction / ordre supérieur
- (λx. x (λx.x)) y — variable libres/liées
- (λx. x (λy. x y)) y — capture de variable
- (λxy. x) a b — fonction à deux entrées et effacement
- (λxy. x) a — application partielle pour deux entrées
- (λxy. x) I a b — sur application pour deux entrées
- (λx. x x) (I I) — duplication inutile dans une stratégie
- (λxy. y) (I I) I — différence de complexité selon la stratégie