%0 Journal Article %1 journals/apal/EscardoS16 %A Escardó, Martín Hötzel %A Streicher, Thomas %D 2016 %J Ann. Pure Appl. Log. %K %N 9 %P 794-805 %T The intrinsic topology of Martin-Löf universes. %U http://dblp.uni-trier.de/db/journals/apal/apal167.html#EscardoS16 %V 167

@article{journals/apal/EscardoS16, added-at = {2023-12-13T03:22:36.000+0100}, author = {Escardó, Martín Hötzel and Streicher, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/20e716fb1ae4a50454d2a94fe9d0309eb/admin}, ee = {https://doi.org/10.1016/j.apal.2016.04.010}, interhash = {8acb6a0ade03ecf441516840edc17184}, intrahash = {0e716fb1ae4a50454d2a94fe9d0309eb}, journal = {Ann. Pure Appl. Log.}, keywords = {}, number = 9, pages = {794-805}, timestamp = {2023-12-13T03:22:36.000+0100}, title = {The intrinsic topology of Martin-Löf universes.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal167.html#EscardoS16}, volume = 167, year = 2016 }