===== A Formulation of the Simple Theory of Types =====

{{pdfjs 1100px >:c:a-formulation-of-the-simple-theory-of-types.pdf}}