69 citations · 205 across the 22 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016★ 7 cited
Directed Containers as Categories
Danel Ahman, Tarmo Uustalu
Directed containers make explicit the additional structure of those containers whose set functor interpretation carries a comonad structure. The data and laws of a directed contain…
cs.LO2016★ 3 cited
Variations on Noetherianness
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…