van Dijk, E., Ripley, D. and Gutierrez, J. (2023) “Core Type Theory”, Bulletin of the Section of Logic, 52(2), pp. 145–186. doi: 10.18778/0138-0680.2023.19.