Новости по тегу "лямбда-исчисление"
Подборка публикаций, содержащих тег "лямбда-исчисление". Актуальные темы и важные события.
Лямбда, Лисп и Ложбан — в поисках утраченного Вавилона, или мой проект конструирования симметричного языка
В этом монументальном тексте я постараюсь рассказать вам о трёх непревзойдённых шедеврах XX века - математическом языке лямбда-исчисления, языке...