deniok

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

Народ (которого было как селедок в бочке, ну то есть неожиданно много) сильно повеселила чудесная аксиома:


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

Выложу-ка я мой ответ kurilka про применение Theorems for free как пост, а то в докладе на SPbHUG я это как-то не успел рассказать.


( Read more... )

Все уже отчитались: dtim  у себя, antilamer  у себя. Мне остается только запоздало выложить фотки.

( Read more... )