2012-12-05 Church-Rosser の定理の証明 math http://www.cs.cornell.edu/~kozen/papers/ChurchRosser.pdf http://www.cedar-forest.org/forest/papers/conference-publications/new-red.pdf