搜索个人学术档案 - 学术资源搜索

个人学术档案

我的图书馆

Robin Cockett

Professor of Computer Science, University of Calgary

在 ucalgary.ca 的电子邮件经过验证

被引用次数：3397

differential categories linear logic semantics of programming category theory

共建清朗的网络空间,如遇有害信息,请举报。
本站数据皆整合自互联网公开资源索引,方便科研学术方面查询,并不存储相关数据资源;如对此有异议,请联系我们解决.
© 2023 学术资源搜索 @联系我们 | 申请短期会员 | 数据源提交