发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Types for the Ambient Calculus

Types for the Ambient Calculus

Luca Cardelli; Giorgio Ghelli; Andrew D. Gordon

作者Luca Cardelli; Giorgio Ghelli; Andrew D. Gordon
卷第177卷
期第2期
印刷ISSN0890-5401
电子ISSN1090-2651
文件大小245.18KB
发表时间2002
DOI10.1006/inco.2001.3121
页码160-194

← 返回【学霸图书馆】主页