Dear all,
Earlier today, Wim Feijen kindly sent me Netty van Gasteren’s AvG134 : ‘A small relational proof, for the record’ . You can view her page here:
It is a sweet little note which spends a half a page setting the stage, another page or so introducing the relevant terminology and calculus, a page for the proof, and a half a page as conclusion. Her expositional clarity is truly a marvel to behold.
All best,
+j