λ&計算
A Calculus for Overloaded Functions with Subtyping
が出典
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.56.2411&rep=rep1&type=pdf
https://www.amazon.co.jp/Object-Oriented-Programming-Foundation-Progress-Theoretical/dp/1461286700
にも書いているらしい
ググラビリティ終わっているが、「clos cecil "λ&"」とかでググると一応引っかかる
https://www.irif.fr/~gc/papers/tcs96.pdf