<<Up Contents
Here denotational always attracts the extensional meaning in the pair, but the other element genuinely varies. See intension for some more discussion.
wikipedia.org dumped 2003-03-17 with terodump