文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Gerard Huet
发表
Formal structures for computation and deduction
Gerard Huet, G. Huet, 1986 .
Logical Frameworks: Introduction
Gordon Plotkin, Gerard Huet, 1991 .