操作的意味論は今時はキレイなんですかー

とりあえず、ブラウザの履歴だけ張って逃げる。

• 2009-06-15 - Yet Another Ranha
  • via（引用）ギレンさんが - ヤドカリデンキ商会（第一倉庫）
    • gauche.night - sumiiの日記
      • 帰納的定義と数学的帰納法 ※※※by 萩谷昌己の最後の「個人的な思い」の部分
      • 参考文献:Types and Programming Languages
    • 操作的意味論 vs 表示的意味論 - sumiiの日記（π-calculusに係る数学的道具立てってまだ整備されてなかったのか！的驚きもあり。まぁ、今整備されないからって、できないことの証明にはならないし、ある計算機科学分野のentityがそれ自体で完備になる可能性だってあるだろうけど）
• 操作的意味論 - Wikipedia
• PlotkinのSOS論文PDF

そもそもはSchemeのsemanticsの話だそうでScheme表示的意味論

関係ないけど『プログラム意味論』（横内寛文著　絶版）＜絶版なのか！！買っておいてよかった＜嫁よ