3 citations · 3 across the 9 of their papers we have counts for
1 paper · 1 filter
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…