Functorial polymorphism (1990)

by E S Bainbridge, P J Freyd, A Scedrov, P J Scott
Venue:Theoretical Computer Science