2007-09-06 Normalization and the Yoneda Embedding リンク プログラム意味論 圏一般論 スライド -- http://www.cs.chalmers.se/~peterd/slides/Uppsala.ps 論文 -- http://www.site.uottawa.ca/~phil/papers/paper_final.pub.ps