статьи по типизированной теории множеств.

Помнится, года 4 назад, профессор обещал выковырнуть ссылки на сабж. Может у кого-то сохранились, или просто этим вопросом интересовался.