Umm, you mean maybe:<br><br>III denotes 3<br>3 is the denotation of III<br>III is the notation for 3<br><br>--Mitch<br><br><div class="gmail_quote">On Thu, Nov 12, 2009 at 9:30 PM, Paul Steckler <span dir="ltr"><<a href="mailto:steck@stecksoft.com">steck@stecksoft.com</a>></span> wrote:<br> <blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div class="im">On Fri, Nov 13, 2009 at 10:21 AM, John Clements<br> <<a href="mailto:clements@brinckerhoff.org">clements@brinckerhoff.org</a>> wrote:<br> > Bizarrely, it appears that most people in the languages community use the<br> > latter. That is: suppose that "(lambda (x) x)" denotes the platonic<br> > identity function. I believe we say that the program is the denotation of<br> > the function, rather than that the function is the denotation of the<br> > program.<br> <br> </div>You might gain some intuition by using "means" instead of "denotes", and<br> "meaning" instead of "denotation".<br> <br> If A denotes/means B, then B is the denotation/meaning of A.<br> <font color="#888888"><br> -- Paul<br> </font><div><div></div><div class="h5"><br> _______________________________________________<br> PRL mailing list<br> <a href="mailto:PRL@lists.ccs.neu.edu">PRL@lists.ccs.neu.edu</a><br> <a href="https://lists.ccs.neu.edu/bin/listinfo/prl" target="_blank">https://lists.ccs.neu.edu/bin/listinfo/prl</a><br> <br> </div></div></blockquote></div><br>