- 3rd
- 08:43 pm
Четыре правила
Tags:
- 11th
- 12:44 am
"The Delayed Beta Reduction"
Tags:
01:52 amОтвет профессора Барендрегта
Tags:
02:26 amИсточник для четырех правил
Tags:
- 12th
- 03:52 am
"Micro Lambda Calculus" и дальнейшие планы
Tags:
- 15th
- 09:35 pm
Опровержение гипотезы об одношаговости стратегии Gyorgy Revesz
Tags:
- 24th
- 02:53 am
Арифметика на тривиальных множествах
Tags:
03:59 amВычисление чисел Каталана
Tags:
- 26th
- 01:32 am
Открытая версия игры "Warzone 2100"
Tags:
06:12 pmСильная редукция в комбинаторной логике
Tags: