Title: The theory of logical types
First published: 1971
Subjects: Type theory, Logic, modern
LC classification: BC199.T9 C66 1971