Weyl's predicative classical mathematics as a logic-enriched type theory. / Adams, Robin; Luo, Zhaohui.
In: ACM Transactions on Computational Logic, Vol. 11, No. 2, 11, 01.2010.Research output: Contribution to journal › Article › peer-review
Original language | English |
---|---|
Article number | 11 |
Number of pages | 31 |
Journal | ACM Transactions on Computational Logic |
Volume | 11 |
Issue number | 2 |
Early online date | 17 Dec 2009 |
DOIs | |
Publication status | Published - Jan 2010 |
ID: 396074