I just looked at both that and the original strong HCH post, and I think Alex’s explanation is right and I was mistaken: both weak and strong HCH use tree recursion. Edited the original answer to not talk about linear / tree recursion.
I just looked at both that and the original strong HCH post, and I think Alex’s explanation is right and I was mistaken: both weak and strong HCH use tree recursion. Edited the original answer to not talk about linear / tree recursion.