Mechouet, T. and Zidani, F. (2022) “Constructive Type Theory”, AL-Lisaniyyat, 28(1), pp. 31-45. doi: 10.61850/allj.v28i1.58.