van Dijk, Emma, et al. “Core Type Theory”. 2023. Bulletin of the Section of Logic, vol. 52, no. 2, Aug. 2023, pp. 145-86, doi:10.18778/0138-0680.2023.19.