2010-05-12 ■ 注文文献 注文文献 Hans Hüttel Transitions and Trees: An Introduction to Structural Operational Semantics, Cambridge University Press, Due in June 2010 興味深い入門書が出るようです。やさしく書かれているみたいで、勉強になりそうです。そのような訳で注文しました。