1987] "Functorial Polymorphism (0)

by E Bainbridge, P Freyd, A Scedrov, P J Scott
Venue:U. Texas Institute on Logical foundations of Functional Programming