Philip Wadler The Girard-Reynolds isomorphism. 260-284 2003 186 Inf. Comput. 2 http://dx.doi.org/10.1016/S0890-5401(03)00141-X db/journals/iandc/iandc186.html#Wadler03