8 citations · 29 across the 15 of their papers we have counts for
1 paper · 1 filter
Denis Firsov, Tarmo Uustalu, Niccolò Veltri
In constructive mathematics, several nonequivalent notions of finiteness exist. In this paper, we continue the study of Noetherian sets in the dependently typed setting of the Agda…