文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Julian Michael Lewis Bean
发表
Ribbon Proofs - A Proof System for the Logic of Bunched Implications
Julian Michael Lewis Bean, 2013 .