Parametricity and Mulry’s strong dinaturality (1999)

by A Eppendahl