Mustard Watches

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.