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

Robin Adams, Zhaohui Luo

Research output: Chapter in Book/Report/Conference proceedingConference contribution

144 Downloads (Pure)
Filter
Finished

Search results