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

15 citations · 15 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2008★ 15 cited

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

Robin Adams, Zhaohui Luo

We construct a logic-enriched type theory LTTW that corresponds closely to the predicative system of foundations presented by Hermann Weyl in Das Kontinuum. We formalise many resul…