@inproceedings{slattery-2025-hofmann, title={Hofmann-Streicher lifting of fibred categories}, url={http://dx.doi.org/10.1109/lics65433.2025.00018}, DOI={10.1109/lics65433.2025.00018}, booktitle={2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}, publisher={IEEE}, author={Slattery, Andrew and Sterling, Jonathan}, year={2025}, month=June, pages={143–154} }