Sökning: "Guilhem Moulin"

Hittade 2 avhandlingar innehållade orden Guilhem Moulin.

1. 1. Internalizing Parametricity

   Författare :Guilhem Moulin; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Type structure; Presheaf Model; Parametricity; Lambda Calculus; Polymorphism;

   Sammanfattning : 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. LÄS MER

3. 2. Pure Type Systems with an Internalized Parametricity Theorem

   Författare :Guilhem Moulin; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Type structure; Polymorphism; Lambda Calculus.; Parametricity;

   Sammanfattning : 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. LÄS MER