>>883
ふ〜ん、λ-calculusの表示意味論ならそないなところだろね。
他の表示意味論でもそうなの?w