Report - Impredicative Overloading in Explicit Mathematicshome.inf.unibe.ch/~tstuder/papers/otn.pdf · Theoretically speaking, overloading denotes the possibility that several functions f

Please pass captcha verification before submit form