Type Systems

【文件属性】：

文件名称：Type Systems

文件大小：301KB

文件格式：PDF

更新时间：2011-12-04 09:22:04

TypeSystems Luca

类型理论（Type theory）,E文。 作者Luca Cardelli Digital Equipment Corporation Systems Research Center