コピーしたもの

で、いろいろとコピーしたわけですが、その中でも

• Benjamin Werner, "Sets in Types, Types in Sets", in M.Abadi & Y.Ito (eds.), Theoretical Aspects of Computer Software, Lecture notes in Computer Science vol.1281, Springer, 1997, pp. 530-546.

は現在の関心に応えてくれそうで期待。タイプ理論と集合論を相互に定義させてみる試み。