On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms.

Olivier Bodini, Paul Tarau

Browse the full LOPSTR paper archive.