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

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

The emptiness problem for intersection types

The emptiness problem for intersection types

Urzyczyn, Paweł

期刊名称The Journal of Symbolic Logic
作者Urzyczyn, Paweł
卷第64卷
期第3期
印刷ISSN0022-4812
电子ISSN1943-5886
文件大小1374.66KB
发表时间1999-09
DOI10.2307/2586625
页码1195-1215

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