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

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

Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic

Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic

Rasmus Ejlers Møgelberg; Lars Birkedal; Giuseppe Rosolini

作者Rasmus Ejlers Møgelberg; Lars Birkedal; Giuseppe Rosolini
卷第155卷
印刷ISSN1571-0661
文件大小475.96KB
发表时间2006
DOI10.1016/j.entcs.2005.11.058
页码219-245

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