関数型言語
関数型言語の表示的意味論の実例を次節に示す。