[yorwba]

I assume "recent papers by Hormann and Yap" is a reference to e.g. Range functions of any convergence order and their amortized complexity analysis https://www.inf.usi.ch/hormann//papers/Hormann.2023.RFO.pdf ? Cool stuff.

[sfpotter]

Yeah that's it. There might be a couple others? That paper should also have references back to earlier papers on higher order inclusion functions.