Guilhem Moulin

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 0

Top Topics

Color Distribution

Automated Trust Negotiation

Theoretical Foundation

Computational Tools

Top Venues

Chalmers University of Technology, Gothenburg, Sweden (PHD)

Education History

Chalmers University of Technology, Gothenburg, Sweden

PHD

Publications

Jean-Philippe Bernardy, Thierry Coquand, Guilhem Moulin
A Presheaf Model of Parametric Type Theory. MFPS (2015)
Jean-Philippe Bernardy, Guilhem Moulin
Type-theory in color. ICFP (2013)
Pierre Kleberger, Guilhem Moulin
Short paper: Formal verification of an authorization protocol for remote vehicle diagnostics. VNC (2013)
Jean-Philippe Bernardy, Guilhem Moulin
A Computational Interpretation of Parametricity. LICS (2012)