Derek Elkins wrote: > In general, to encode OO... > turns out all you needed was recursive bounded > existential quantification. Do you have a reference for that? Thanks, Yitz