%0 Journal Article
%T A Locale for Minimal Bad Sequences
%A Christian Sternagel
%J Computer Science
%D 2012
%I arXiv
%X We present a locale that abstracts over the necessary ingredients for constructing a minimal bad sequence, as required in classical proofs of Higman's lemma and Kruskal's tree theorem.
%U http://arxiv.org/abs/1208.1366v1