wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

kleene_sequence (210B)

      1 # Kleene sequence
      2 
      3 Successive applications of a [function] f from the minimal element
      4 (assumed to exist)
      5 - all elements are always <= all [fixpoints]
      6 - converges to [least_fixpoint]
      7 
      8 Up: [fixpoint], [sequence]