“模块签名的类型同构。”

玛丽亚·维吉尼亚·阿蓬特(Maria Virginia Aponte)、罗伯托·迪·科斯莫(Roberto Di Cosmo)(1996)

详细信息和统计

内政部: 10.1007/3-540-61756-6_95

访问:关闭

类型:会议或研讨会论文

元数据版本:2017-05-19

打开Alex

请注意:由于提供了开放的元数据API,因此只能提供有关引用和引用的信息crossref.org网站开放引用.net.如果您的出版物的引用数据尚未公开,请考虑要求您的出版商向公众发布您的引用数据。有关更多信息,请参阅开放引文倡议(I4OC)也请注意,无法直接向dblp提交缺失的参考文献或引用数据。

请注意,此功能是正在进行的工作而且它还远远不够完美。特别是,

需要JavaScript才能检索和显示此记录的任何引用和引用。

服务莱布尼茨信息中心(Schloss Dagstuhl)