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

Cached

Download Links

by Thierry Coquand , Daniel Fridlender
Citations:9 - 1 self