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

Robin Adams, Zhaohui Luo

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

149 Downloads (Pure)

Search results