A proof of strong normalization for F (1993)

by D McAllester, J Kucan, D F Otth
Venue:2 , F ! , and beyond. Technical report, MIT