The intrinsic topology of Martin-Löf universes

Research output: Contribution to journalArticle

Authors

Colleges, School and Institutes

Details

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