Io credo che non funzioni (anche se non l'ho provata) e ti spiego il perchè:

Il valore min dovresti portartelo dietro per riferimento, altrimenti, min non cambia valore definitivamente, e quando la ricorsione va a ritroso, min assume i valori che aveva nelle chiamate precedenti "perdendo il valore minimo"

P.S Ovviamente sto parlando del primo codice, quell'altro ad occhio, non mi piace tanto quell'assegnamento min = T.info, penso che in questo modo il min te lo perdi in ogni ciclo ricorsivo e ti restituisce sempre la radice, ma di questo non sono sicuro, potrei sbagliarmi!!!