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