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://mpcs.sci.am/index.php/mpcs/article/view/441 (Accessed: 18May2024).