Strong Normalization of the Typed gamma

Ren David, Bruno Guillaume

Browse the full CSL paper archive.