> [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
[email protected]
https://mail.mozilla.org/listinfo/es-discuss
