Title: Selected Papers on Automath
Subjects: Computer programs