You're correct about the minimax. The second example is corecursion, I believe. The article specifically mentions > Corecursion can produce both finite and in

You're correct about the minimax. The second example is corecursion, I believe. The article specifically mentions > Corecursion can produce both finite and infinite data structures as result, and may employ self-referential data structures. Corecursion is often used in conjunction with lazy evaluation