Reflections on Automath. Also in Nederpelt et al (1990)

by N G de Bruijn