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