A proof of Higman’s lemma by structural induction (1993)

by T Coquand, D Fridlender
Venue:Unpublished Manuscript. doi:10.1007/BFb0021089 62 A Constructive Proof of Higman’s Lemma