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