claim
active
claim:each-expression-denotes-something-depending-only-on-denotations-of-subexpressionsEach expression denotes something, depending only on denotations of subexpressions.
Property of denotative programming from Landin.
Source paper
extracted_from(2015) · Elliott, Conal
Related by similarity (8)
cosine ≥ 0.65 · no typed edgeEntities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.
- Core claim of the methodology.
- Canonical statement of Frege compositionality principle in formal linguistics; foundational to paper's analysis.
- Opens up imaginative alternatives to conventional layout.
- One of the six key properties of denotational design.
- All models exhibit above-baseline representation of the think word when instructed to think about itfinding0.757In the intentional control experiment, all tested models show above-zero cosine similarity to the think word's concept vector.
- Suggestive evidence for language-independent truth representation in LLMs