N. G. de Bruijn
-
Logical frameworks
Handbook of automated reasoning
Mechanizing metatheory in a logical framework
Journal of Functional Programming
The formal system λδ
ACM Transactions on Computational Logic (TOCL)