课程章节

Propositions as Types 收藏

命题作为类型
机构暂未开通该资源的服务权限，如有疑问请联系图书馆。
出版商
School of Electrical and Computer Engineering
学校
Cornell University(康奈尔大学)
来源信息
Advanced Programming Languages,文件类型：讲义, 2017年
摘要
摘要译文
该类型资源无GB/T 7714-2015《信息与文献 参考文献著录规则》参照，请自行排列： 题名:Propositions as Types . 课程名称:Advanced Programming Languages. 年份:2017.