Внесок користувача Punto

15 квітня 2008

• 13:0613:06, 15 квітня 2008 різн. історія −4‎ Підстановка ‎ →‎Підстановка змінної в лямбда-численні
• 05:2105:21, 15 квітня 2008 різн. історія +261‎ Лямбда-числення ‎ →‎Ресурси інтернету
• 05:1905:19, 15 квітня 2008 різн. історія +37‎ Функційне програмування ‎ →‎Дивіться також
• 05:1305:13, 15 квітня 2008 різн. історія +450‎ Підстановка ‎Немає опису редагування
• 05:0005:00, 15 квітня 2008 різн. історія +26‎ Підстановка ‎Немає опису редагування

14 квітня 2008

• 17:1017:10, 14 квітня 2008 різн. історія +29‎ Лямбда-числення ‎ →‎Дивіться також
• 17:0917:09, 14 квітня 2008 різн. історія +2117‎ Підстановка ‎Немає опису редагування

2 квітня 2008

• 20:0020:00, 2 квітня 2008 різн. історія 0‎ Категоріальна абстрактна машина ‎Немає опису редагування
• 19:5119:51, 2 квітня 2008 різн. історія +169‎ Вікіпедія:Проєкт:Комп'ютерні науки ‎ →‎Учасники
• 19:5019:50, 2 квітня 2008 різн. історія +106‎ Н Користувач:Punto ‎ Нова сторінка: Бажаю створити статтi: * Категорiальна абстрактна машина
• 07:1007:10, 2 квітня 2008 різн. історія +328‎ Категоріальна абстрактна машина ‎ →‎Література
• 07:0907:09, 2 квітня 2008 різн. історія +88‎ Категоріальна абстрактна машина ‎Немає опису редагування
• 06:5806:58, 2 квітня 2008 різн. історія −398‎ Categorical Abstract Machine Language ‎Немає опису редагування
• 06:5206:52, 2 квітня 2008 різн. історія +700‎ Н Категоріальна абстрактна машина ‎ Нова сторінка: '''Категорiальна абстрактна машина''' ({{lang-en|categorical abstract machine}}) -- це модель обчислення програми, в...

30 березня 2008

• 18:4018:40, 30 березня 2008 різн. історія +241‎ Функційне програмування ‎Немає опису редагування
• 18:3118:31, 30 березня 2008 різн. історія +176‎ Lisp ‎ →‎Джерела інформації
• 18:2618:26, 30 березня 2008 різн. історія +488‎ Categorical Abstract Machine Language ‎Немає опису редагування
• 17:5917:59, 30 березня 2008 різн. історія +303‎ Логіка ‎Немає опису редагування