Canonical simplification of finite objects, well quasi-ordered by tree embedding

Directed graphsEmbeddings (Mathematics)Lambda calculusTrees (Graph theory)

For young readers