van Dijk, E., Ripley, D., & Gutierrez, J. (2023). Core Type Theory. Bulletin of the Section of Logic, 52(2), 145–186. https://doi.org/10.18778/0138-0680.2023.19 (Original work published August 9, 2023)