Galoyan, T. M. . (2021) “Analysis of Bounds for Lengths of Reductions in Typed λ-calculus”, Mathematical Problems of Computer Science, 29, pp. 5–15. Available at: http://93.187.165.2/index.php/mpcs/article/view/441 (Accessed: 16November2024).