van Dijk, E. et al. 2023. Core Type Theory. Bulletin of the Section of Logic. 52, 2 (Aug. 2023), 145–186. DOI:https://doi.org/10.18778/0138-0680.2023.19.