| NCID | DA08774953 |
| 名称(HDNG) | Nederpelt, R. P. (Rob P.) |
| 注記(NOTE) | SRC:Selected papers on Automath / edited by R.P. Nederpelt ... [et al.](Elsevier, 1994)
EDSRC:A modern perspective on type theory : from its origins until today / Fairouz Kamareddine, Twan Laan, and Rob Nederpelt (Kluwer Academic, c2004): t.p.(Eindhoven Univ. of Technology) |