“Dependent Type Theory: a first approximation” (2023) Pesquimat, 26(1), pp. 71–87. doi:10.15381/pesquimat.v26i1.25523.