Dependent Type Theory: A first Approximation. Pesquimat 2023, 26 (1), 71-87. https://doi.org/10.15381/pesquimat.v26i1.25523.