An inductive version of Nash-Williams’ minimal-badsequence argument for Higman’s Lemma (2002)

by Monika Seisenberger
Venue:In Selected papers from the International Workshop on Types for Proofs and Programs, TYPES ’00