Logical Foundations of Quantitative Equality.

Francesco Dagnino, Fabio Pasquali

Browse the full LICS paper archive.