Внесок користувача Акінаноп

23 грудня 2015

• 15:1415:14, 23 грудня 2015 різн. історія +1256‎ Лямбда-числення ‎ →‎Визначення лямбда-виразів
• 14:4714:47, 23 грудня 2015 різн. історія +803‎ м Лямбда-числення ‎ →‎Запис лямбда-виразів
• 11:2411:24, 23 грудня 2015 різн. історія +57‎ м Лямбда-числення ‎ →‎Див. також
• 11:1011:10, 23 грудня 2015 різн. історія +1035‎ Н Типізоване лямбда-числення ‎ Створена сторінка: '''Типізоване лямбда-числення''' - це система лямбда-числення, у якій кожний вислів має...

22 грудня 2015

• 21:3721:37, 22 грудня 2015 різн. історія +52‎ м Відповідність Каррі — Говарда ‎ →‎Примітки Мітки: перше редагування Візуальний редактор