working note
Formal systems, playful surfaces
A short account of why an interface can expose the shape of an argument without flattening the argument itself.
03 / publications
Notes from the inspection desk.
Papers, working notes, and diagrams will gather here as they become ready to leave the lab. This is a deliberately provisional shelf: a publication list should earn its claims, not merely decorate them.
in preparation
Trees that learn their own grammar
Evolutionary operators for symbolic expressions: crossover, point mutation, and the useful pressure of a fitness function.
in preparation
Dessins, maps, and finite memory
A visual notebook for the correspondence between ramified covers and embedded bipartite graphs.
These are working topics. Full texts and citations will be listed when available.