Title: Abstract automath
First published: 1983
Subjects: Lambda calculus, AUTOMATH (Formal language), Combinatory logic
LC classification: QA 1 A52 no.160, QA267.3 R49