9.3.13

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.
Posted by at
Labels: ,

1 comment:

Paul Steckler said...
This comment has been removed by the author.
11/3/13 4:54 PM

Post a Comment

Subscribe to: Post Comments (Atom)