学霸图书馆
首页
下载客户端
登录
游客
会员中心
修改密码
VIP升级
退出登录
发现好书期刊,享受阅读乐趣
海量图书期刊资源,随时随地畅享阅读乐趣
全部
期刊
图书
搜索
An answer to an open problem of Urquhart
Uwe Egly
作者
Uwe Egly
卷
第198卷
印刷ISSN
0304-3975
文件大小
533.18KB
发表时间
1998
DOI
10.1016/s0304-3975(97)00140-0
页码
201-209
同作者推荐
Higher-order subtyping
Benjamin Pierce; Martin Steffen · 1997
← 返回【学霸图书馆】主页