van Dijk E, Ripley D, Gutierrez J. Core Type Theory. B Sect Log. 2023;52(2):145-186. doi:10.18778/0138-0680.2023.19