3 citations · 3 across the 9 of their papers we have counts for
1 paper · 2 filters
Jiří Rosický, Giacomo Tendas
Building on our previous work on enriched universal algebra, we define a notion of enriched language consisting of function and relation symbols whose arities are objects of the ba…