Murdoch J. Gabbay 人物
相关论文查看全部 (2)
A New Approach to Abstract Syntax with Variable Binding
2002Formal Aspects of Computing引用 547
Curry-Style Types for Nominal Terms
2007Lecture notes in computer science引用 305
相关公司查看全部 (2)
Heriot-Watt UniversityUNIVERSITY
University of CambridgeUNIVERSITY
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据