Calculating tree navigation with symmetric relational zipper.

Yuta Ikeda, Susumu Nishimura

Browse the full PEPM paper archive.