Лекция 1. Л.Д. Беклемишев, С.Л. Кузнецов. Введение. Бестиповое лямбда-исчисление. Представление…

Мы рекомендуем

17 января 2021

Главная катастрофа в истории космонавтики.

17 октября 2024

Древние колонны выборгского залива / Допотопный Питер

21 октября 2024

КАТАСОНОВ, КОЛГАНОВ. Что необходимо для перехода на рельсы сталинской модели экономики 05.03.21

28 октября 2024

Еврейская матрёшка