The Girard-Reynolds Isomorphism, in (2001)

by P Wadler
Venue:International Symposium of Theoretical Aspects of Computer Software