Stream

An infinite sequence data type with semantics as functions from Nat to a.

Neighborhood — ranked by edge-count

community

concept

Monoid
implements
Standard algebraic abstraction with identity (ε) and associative binary operation ('); used to specify Image overlay operations.
Memo Tries
associated_with
Data structure generalizing Pair and Stream via indexable containers; demonstrates denotational design on memo structures
indexable container
associated_with
A class of types whose semantics are functions from an index type, enabling reuse of function instances.

cosine ≥ 0.65 · no typed edge

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

Stream Typeframework0.882
Infinite sequence with denotation as Nat → a; generalizes Pair; demonstrates indexable container principle.
data streamsconcept0.846
Partially instantiated lists used to implement communication channels in logic languages.
Stream is an indexable type with index type Nat.claim0.814
Denotational insight for Stream.
Attention streamsconcept0.806
Term introduced by this paper for the horizontal axis of information flow in transformers across token-positions via attention heads
K/V Streamconcept0.803
Proposed pathway flowing across positions at each layer; carries key, value, and attention-weighted information horizontally.
Residual Streamconcept0.790
Proposed pathway flowing through layers at each position; calculates K/V values that feed horizontal information flow.
ReActframework0.774
Prior framework for synergizing reasoning and acting in LLM agents, foundational to agent harness concept
Gamesconcept0.761
Clear exemplar of process art; designed to engender aesthetic experiences of player choice, movement, and cognition.