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