Functorial polymorphism. Theoretical computer science (1990)

by E Bainbridge, P Freyd, A Scedrov, P Scott