题目：计算与证明：Curry-Howard 对应简介

主讲：清华大学哲学系俞珺华博士

评论：清华大学科技与社会研究所王巍教授

时间：2015年10月29日（周四）下午3:00-5:30

地点：清华大学明斋315会议室

电话：010-62773013