22 марта 2007 · Комментарий

Без заголовка

kouzdra · Оригинал в ЖЖ ↗ · Ссылка на запись

Ну дайте ссылку на конкретные статьи - а то, то что мне находится говорит, что Ian Piumarta - молодой INRIA-шный деятель, который пытается высосать что-то "диссертабельное" из 15 лет назад вдоль и поперек истоптанной в том же INRIA темы. PS: Не никакого "формализма lambda". Есть обычная матлогика, частью которой является лямбда-исчисление (так же как теория типов, теория категорий и проч.). И есть "компьютерная наука". Ну не сочетаются они.