A Computational Interpretation of Parametricity. - Jean-Philippe Bernardy; Guilhem Moulin (LICS, 2012)

Type-theory in color. - Jean-Philippe Bernardy; Guilhem Moulin (ICFP, 2013)

Short paper: Formal verification of an authorization protocol for remote vehicle diagnostics. - Pierre Kleberger; Guilhem Moulin (VNC, 2013)

A Presheaf Model of Parametric Type Theory. - Jean-Philippe Bernardy; Thierry Coquand; Guilhem Moulin (MFPS, 2015)

Internalizing Parametricity. - Guilhem Moulin (2016)