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

Cached

Download Links

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

Document Versions

A proof of Higman's lemma by structural induction –Thierry Coquand, Daniel Fridlender — 1993