Vladyslav Shramenko, Victoriya Kuznietcova, Grygoriy Zholtkevych. Studying Mixed Normalization Strategies of Lambda Terms. In Dmytro Chumachenko, Adam Wojciechowski, Sergiy Yakovlev, Marcus Frohme, editors, Proceedings of the 2nd International Workshop of IT-professionals on Artificial Intelligence (ProfIT AI 2022) 2022, Łódź, Poland, December 2-4, 2022. Volume 3348 of CEUR Workshop Proceedings, pages 57-68, CEUR-WS.org, 2022. [doi]
Abstract is missing.