Original language | English |
---|---|
Pages (from-to) | 794-805 |
Journal | Annals of Pure and Applied Logic |
Volume | 167 |
Issue number | 9 |
Early online date | 28 Apr 2016 |
DOIs | |
Publication status | Published - 1 Sept 2016 |
The intrinsic topology of Martin-Löf universes
Martín Hötzel Escardó, Thomas Streicher
Research output: Contribution to journal › Article › peer-review
3
Citations
(Scopus)
274
Downloads
(Pure)