Another
paper by J.-Y. Girard that I will recommend to my students. Reveals deep insight into the techniques used by theoreticians—the payoff is in the final line. Via
Franck FS and
Conor McBride.
Labels: Programming Languages, Theory
# posted by Philip Wadler @ 11:47 AM
