[PRL] Denotation: barbarous neologism required
peter r douglass
peterd at ccs.neu.edu
Thu Nov 12 18:46:37 EST 2009
I don't know how the majority in the language community speak, but in
Stoy's Denotational Semantics, the function is the denotation of the
program.
--peterd
> Suppose A denotes B. Do we say that A is the denotation of B or that B
> is the denotation of A?
>
> Bizarrely, it appears that most people in the languages community use
> the latter. That is: suppose that "(lambda (x) x)" denotes the platonic
> identity function. I believe we say that the program is the denotation
> of the function, rather than that the function is the denotation of the
> program.
More information about the PRL
mailing list