corrigendum 71(3):431 (1990)

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