Free loop - unbegrenzte Schleife, Programmiersprache zur Berechnung allgemein-rekursiver Programme ("Blaün Diagonale") mit Nichttermination bei partiell-rekursiven Programmen in ->"Hofstadter: Gödel, Escher, Bach", vergl. BlooP, GlooP