Manipulating Trees with Hidden Labels.

Luca Cardelli, Philippa Gardner, Giorgio Ghelli

Browse the full FOSSACS paper archive.