19 citations · 60 across the 11 of their papers we have counts for
1 paper · 2 filters
Benedikt Ahrens, Ralph Matthes, Anders Mörtberg
In previous work ("From signatures to monads in UniMath"), we described a category-theoretic construction of abstract syntax from a signature, mechanized in the UniMath library bas…