Внесок користувача Акінаноп
Користувач здійснив 5 редагувань. Обліковий запис створено 22 грудня 2015.
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 м Відповідність Каррі — Говарда →Примітки Мітки: перше редагування Візуальний редактор