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