Michel Parigot 人物

关系图谱

Michel Parigot · 相关论文

λμ-Calculus: An algorithmic interpretation of classical natural deduction
2005Lecture notes in computer science引用 544