Parametricity in an Impredicative Sort.

Chantal Keller, Marc Lasson

Browse the full CSL paper archive.