2008-09-06 [長年日記]
λ. “Models of LCF” by Robin Milner
PCF and LCF | Lambda the Ultimate より。そういえば、PCFとかLCFってちゃんと勉強したことないなぁ、と思って読んでみた。typoが結構多い上、このPDFはページ順も変なので注意。内容は、不動点演算子を持つ型付きラムダ計算を古典領域理論で解釈し、半順序関係 a≦b を原子命題とする論理LCFの推論規則がこの解釈に対して健全であることを示したもの。
[ツッコミを入れる]
