Mechouet, T., & Zidani, F. (2022). Constructive Type Theory. AL-Lisaniyyat, 28(1), 31-45. https://doi.org/10.61850/allj.v28i1.58