@inproceedings{vanderweide-2025-the, title={The internal languages of univalent categories}, url={http://dx.doi.org/10.1109/lics65433.2025.00016}, DOI={10.1109/lics65433.2025.00016}, booktitle={2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}, publisher={IEEE}, author={van der Weide, Niels}, year={2025}, month=June, pages={112–126} }