Title: Selected papers on Automath
Subjects: AUTOMATH (Formal language), Computer programs