Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory

Robin Adams Zhaohui Luo Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory http://arxiv.org/abs/0809.2061 2008 CoRR abs/0809.2061 db/journals/corr/corr0809.html#abs-0809-2061 informal publication