E. van Dijk, D. Ripley, and J. Gutierrez, “Core Type Theory”, B Sect Log, vol. 52, no. 2, pp. 145–186, Aug. 2023.