van Dijk, Emma, David Ripley, and Julian Gutierrez. “Core Type Theory”. Bulletin of the Section of Logic 52, no. 2 (August 16, 2023): 145–186. Accessed July 3, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/14195.