Исследователь в области Лямбда Исчисления.
https://ru.wikipedia.org/wiki/%D0%91%D0%B0%D1%80%D0%B5%D0%BD%D0%B4%D1%80%D0%B5%D0%B3%D1%82,_%D0%A5%D0%B5%D0%BD%D0%BA
w96k Ⓐ 2019-2022
2022-11-27 Sun 23:34