読書

今日は以下の論文を拝読し、

• 古森雄一　「汎用システムとしての「ラムダ計算+論理」」、『数理解析研究所講究録』、共同研究 算術体系の証明論、京都大学数理解析研究所、1533巻、2007年

その前半の一部を勉強のためにまとめてみる。しかし時間切れで、充分にまとめ切れなかった。後日続きを書きたいです。この他いくつかの関連する論文をあちこち拾い読みする。面白い。また勉強を少しずつ進めて行きたいと思います。