Classical Predicative Logic-Enriched Type Theories. / Adams, Robin; Luo, Zhaohui.
In: Annals of Pure and Applied Logic, Vol. 161, No. 11, 08.2010, p. 1315-1345.Research output: Contribution to journal › Article › peer-review
Original language | English |
---|---|
Pages (from-to) | 1315-1345 |
Number of pages | 31 |
Journal | Annals of Pure and Applied Logic |
Volume | 161 |
Issue number | 11 |
Early online date | 7 Jun 2010 |
DOIs | |
Publication status | Published - Aug 2010 |
ID: 396037