Kent Petersson 人物

关系图谱

Kent Petersson · 相关论文

Programming in Martin-Löf's type theory an introduction
1990引用 433