AvG134

37 views
Skip to first unread message

Jeremy Weissmann

unread,
Apr 1, 2020, 1:52:08 PM4/1/20
to mathmeth, T. Verhoeff, Wim Feijen
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
Reply all
Reply to author
Forward
0 new messages