图 书 馆
迈向一个新的子经典计算的解释Towards a new Computational Interpretation of Sub Classical |
|
| 课程网址: | http://videolectures.net/godelfellowship2011_ilik_tnc/ |
| 主讲教师: | Danko Ilik |
| 开课单位: | 马其顿大学 |
| 开课时间: | 2011-05-20 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | Coming from Theoretical Computer Science;Very abstract way to capturecomputational effectsfrom the;theory of programming languages;Starting interest: essential ingredient in a likely constructive;proof of completeness of intuitionistic logic w.r.t. Kripke;models, due to Olivier Danvy;But, no simple/logical explanation;Topic of PhD thesis supervised by Hugo Herbelin; |
| 关 键 词: | 编程语言; 经典逻辑; 计算; 马尔可夫原理 |
| 课程来源: | 视频讲座网 |
| 最后编审: | 2020-06-18：dingaq |
| 阅读次数: | 45 |