The intrinsic topology of Martin-Löf universes

Martín Hötzel Escardó, Thomas Streicher

Research output: Contribution to journalArticlepeer-review

3 Citations (Scopus)
172 Downloads (Pure)
Original languageEnglish
Pages (from-to)794-805
JournalAnnals of Pure and Applied Logic
Volume167
Issue number9
Early online date28 Apr 2016
DOIs
Publication statusPublished - 1 Sep 2016

Cite this