Type-Theory of Algorithms with Chain-Free Memory and Iterative Computations. - Loukanova, Roussanka (Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP), 2026)