Peter Landin recommended 'denotative' to replace ill-defined 'functional' and 'declarative'.

Entities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.

• Denotational design uses standard algebraic abstractions.claim0.771
  One of the six key properties of denotational design.
• Denotational design yields a precise, simple, and compelling specification that informs use and implementation without entangling them.claim0.768
  Core claim of the methodology.
• Denotational design applies functional principles to user interface structure.claim0.763
• Denotational design is free of abstraction leaks.claim0.757
  Another key property.
• The budget term −log k acts as a regularizer to discourage degenerate long prompts.claim0.751
  Theoretical interpretation.
• Denotational design enables principled construction of correct implementation.claim0.750
  The final property of the methodology.
• Denotational Designconcept0.744
  Core framework: methodology for typed, purely functional programming that uses precise semantic specification to inform both use and implementation
• Each expression denotes something, depending only on denotations of subexpressions.claim0.742
  Property of denotative programming from Landin.