> [aside: as far as I understand Tennent, this has nothing to do > with his principles of correspondence or abstraction, which > are often misquoted and conjured with in the archives]
AFAICT, this traces back to a blog post by Neal Gafter: http://gafter.blogspot.com/2006/08/tennents-correspondence-principle-and.html When people say "Tennent's correspondence principle" to mean something like "beta-conversion is semantics-preserving" I believe this post is where they got the impression that it has to do with Tennent. For better or worse, it seems to have stuck. Dave _______________________________________________ es-discuss mailing list es-discuss@mozilla.org https://mail.mozilla.org/listinfo/es-discuss