Normalization of Typable Terms by Superdevelopments.

Zurab Khasidashvili, Adolfo Piperno

Browse the full CSL paper archive.