deniok

Сделал вчера на очередной встрече SPbHUG доклад про лямбда-куб Барендрегта (подробности см. на юзерпике).

Народ (которого было как селедок в бочке, ну то есть неожиданно много) сильно повеселила чудесная аксиома:
$\langle\rangle\vdash\ast:\Box$

Выложил на сайте SPbHUG слайды к докладу и мой перевод на русский (с комментариями) первого раздела пятой главы замечательного обзора Хенка Барендрегта: Henk Barendregt, Lambda calculi with types, в Handbook of Logic in Computer Science. Угощайтесь на здоровье, кто в английском не столь искушен как в русском.