Henk Barendregt
Emeritus professor of foundations of mathematics and computer science, Radboud …
在 ru.nl 的電子郵件地址已通過驗證
被引用 8361 次
Achim Jung
Professor of Computer Science, University of Birmingham, UK
在 cs.bham.ac.uk 的電子郵件地址已通過驗證
被引用 3689 次
Luís Pinto
Centro de Matemática and Departamento de Matemática e Aplicações, Universidade do …
在 math.uminho.pt 的電子郵件地址已通過驗證
被引用 1708 次