Infinitary Rewriting

For the cover of the book Infinitary Rewriting in Coq  by Martijn Vermaat we explored the principles of infinitary rewriting using recursive voronoi diagrams.

Using custom software, an image is decomposed into voronoi tiles at varying levels of recursion. The recursion depth is automatically adjusted based on the detail in the underlying cock image. Circles are placed on the resulting voronoi mesh and transformed to reflect the level of recursion of that point.