31 citations · 69 across the 15 of their papers we have counts for
1 paper · 2 filters
Matteo Mio, Colin Riba
Proofs in quantitative algebra are, generally, infinite objects due to the presence of infinitary rules in the deductive apparatus. A quantitative equational theory is called compa…