van Dijk, Emma, David Ripley, and Julian Gutierrez. 2023. “Core Type Theory”. Bulletin of the Section of Logic 52 (2):145-86. https://doi.org/10.18778/0138-0680.2023.19.