Recursion equations (Algol 48/50 formalism) suffice to express operational semantics without special theory of programming.

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

• No special theory of programming is required to prove properties of programs if they are expressed as logical sentences.claim0.749
  Key claim of the Algol 48/50 and Elephant approach.
• Semantics might emancipate itself from its traditional focus on interpreting syntax and become a more autonomous study of the fundamental structures of Informatics.concept0.734
  Vision statement for Information Dynamics as emerging field transcending traditional computer science semantics.
• Software implementations for all of the models/behaviours presented are common for n = 2, and can be made very efficient for α_i that map many objects onto a much smaller set of object families.claim0.722
  Claim about current practical feasibility and efficiency of 2-way associative implementations.
• Denotational design uses standard algebraic abstractions.claim0.721
  One of the six key properties of denotational design.
• Recursion of centersconcept0.720
  The process by which centers are built up, strengthened, and toughened from other centers, deepening their I-like quality.
• whether many (maybe even all) useful organisations of information and behaviour in a dynamic language might be constructed from a single primitive operation: n-way associative lookupquestion0.719
  The central research question explored, by way of examples, throughout the paper.
• Proving that a program meets accomplishment specifications must be based on assumptions about the world, the information it makes available to the program and the effects of the program's actions as well as on facts about the program itself.claim0.719
  Claim about the nature of accomplishment verification.
• The operational principle provides an archetypal scenario that explains how a concept fulfills its purpose.claim0.719
  Key idea for defining concepts.