Parametric Polymorphism - Universally. - Neil Ghani; Fredrik Nordvall Forsberg; Federico Orsanigo (WoLLIC, 2015)

Bifibrational Functorial Semantics of Parametric Polymorphism. - Neil Ghani; Patricia Johann; Fredrik Nordvall Forsberg; Federico Orsanigo; Tim Revell (MFPS, 2015)

Proof-Relevant Parametricity. - Neil Ghani; Fredrik Nordvall Forsberg; Federico Orsanigo (A List of Successes That Can Change the World, 2016)

Bifibrational parametricity: from zero to two dimensions. - Federico Orsanigo (2017)

Universal properties for universal types in bifibrational parametricity. - Neil Ghani; Fredrik Nordvall Forsberg; Federico Orsanigo (Math. Struct. Comput. Sci., 2019)