Am 04.08.2010 trägt Sebastian Menge über Zipper-Transformationen vor.
Beim letzten Vortrag hat Jan das Zipper-Muster vorgestellt mit dem man Positionen in Termen fokussieren kann. Wenn sich die Terme nun ändern, wie kann man die Positionen “konsistent” halten?