文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
H.M.M. ten Eikelder
发表
Some category theoretical properties related to a model for a polymorphic lambda-calculus
C. Hemerik, H.M.M. ten Eikelder, H.M.M. Ten, 1989 .