The Girard–Reynolds isomorphism (2007)

by P Wadler
Venue:Theor. Comp. Sci