Search for dissertations about: "Guilhem Moulin"
Found 2 swedish dissertations containing the words Guilhem Moulin.
-
1. Internalizing Parametricity
Abstract : Parametricity results have recently been proved for dependently-typed calculi such as the Calculus of Constructions. However these results are meta theorems, and although the theorems can be stated as internal propositions, they cannot be proved internally. READ MORE
-
2. Pure Type Systems with an Internalized Parametricity Theorem
Abstract : Parametricity results have recently been proved for dependently-typed calculi such as the Calculus of Constructions. However these results are meta theorems, and although they can be stated as internal propositions, they cannot be proved internally. READ MORE