van Dijk E, Ripley D, Gutierrez J. Core Type Theory. B Sect Log [Internet]. 2023 Aug. 16 [cited 2025 Dec. 11];52(2):145-86. Available from: https://www.czasopisma.uni.lodz.pl/bulletin/article/view/14195