Models for Polymorphism over Physical Dimension. - Robert Atkey; Neil Ghani; Fredrik Nordvall Forsberg; Timothy Revell; Sam Staton (TLCA, 2015)

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

Types, categories, actions. - Timothy Revell (2016)