Просто типизированное лямбда-исчисление

[deniok]

Сделал в ру-Википедии статью про сабж. Еле поспел к Рождеству.  Держите.

Comments

[ulysses4ever.livejournal.com]

Если бы у меня были лекции по ЛИ, я бы к ним с первого числа готовился, а у меня лекции по такой гадости, что я начну, наверное, ближе к февралю… :(