Awesome

system-f-parametricity-model

A Model of Relationally Parametric System F in Coq