いい加減、ベースになってる理論も知っとくべきだとか思ったので、Wikipediaを見た。 http://en.wikipedia.org/wiki/Calculus_of_constructions Calculus of Constructions(CoC)は、型をファーストクラスとして扱える高階型付きラムダ計算です、とのこと。私…

Action Semanticsについて調べていたら、 The Varieties of Programming Language Semantics http://www.brics.dk/~pdm/papers/Mosses-PSI-2001/010914/slides-light.pdf というスライドがあった。別に大したことは書いてないけど、色々な意味論をざっくり概…