MECHOUET, T.; ZIDANI, F. Constructive Type Theory. AL-Lisaniyyat, v. 28, n. 1, p. 31-45, 16 Jun. 2022.