课程章节

Propositions as Types 收藏

命题作为类型
机构暂未开通该资源的服务权限，如有疑问请联系图书馆。
出版商
School of Informatics
学校
The University of Edinburgh(爱丁堡大学)
来源信息
System Design Project,文件类型：fr, 2011年
摘要
摘要译文
该类型资源无GB/T 7714-2015《信息与文献 参考文献著录规则》参照，请自行排列： 题名:Propositions as Types . 课程名称:System Design Project. 年份:2011.