文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Jason Hickey
发表
Formal Objects in Type Theory Using Very Dependent Types
Jason Hickey, J. Hickey, 1996 .
Session details: Session 3
Jason Hickey, 2005 .