Structural Recursion on Ordered Trees and List-Based Complex Objects.

Edward L. Robertson, Lawrence V. Saxton, Dirk Van Gucht, Stijn Vansummeren

Browse the full ICDT paper archive.