更改
→建构性的自指
S(x){
S(x){
q=λ (Copy_<sub>o</sub> \ Popup_<sub>o</sub> \ Control)
q= λ (Copy_<sub>o</sub> Popup_<sub>o</sub> Control)
(Copy_<sub>o</sub> \ Popup_<sub>o</sub> \ Control)(q);
(Copy_<sub>o</sub> Popup_<sub>o</sub> Control)(q);
}
}