4月29日学术报告信息（巴黎七大 Pierre-Louis Curien ：Curry-Howard isomorphi
类别：网络整理 发布人：admin 浏览次数： 次 发布时间：2015-09-02 14:24

报告题目：Curry-Howard isomorphism, sequent calculus, abstract machines, and classical logic

报告日期及时间：2015年4月29日 下午3:00

报告地点：学院B403

报告人： Pierre-Louis Curien

报告人国籍： 法国

报告人单位：巴黎7大计算机系PPS 实验室(法国国家科研中心)

报告人简介：Curien教授现任法国国家科学研究院主任研究员，是巴黎第七大学PPS实验室的创始人,在程序语义尤其是顺序程序的指称语义、lambda演算、线性逻辑等方面做出了重要贡献。


报告摘要：

4月29日学术报告信息（巴黎七大 Pierre-Louis Curien ：Curry-Howard isomorphi

邀请人： 何炎祥 教授

上一篇：4月27日学术报告 （福建师大 黄欣沂 ：用户习惯对“口令身份认证协议安全性”的影响 ）
下一篇：4月20日学术报告(中科院自动化所张文生研究员)