External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Studying Mixed Normalization Strategies of Lambda Terms

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]

Authors

Vladyslav Shramenko

This author has not been identified. Look up 'Vladyslav Shramenko' in Google

Victoriya Kuznietcova

This author has not been identified. Look up 'Victoriya Kuznietcova' in Google

Grygoriy Zholtkevych

This author has not been identified. Look up 'Grygoriy Zholtkevych' in Google
runs on