Realizability and Parametricity in Pure Type Systems.

Jean-Philippe Bernardy, Marc Lasson

Browse the full FOSSACS paper archive.