Browse the Turing Digital Archive

‘A practical form of type theory I.’ Heavily revised TS, pages numbered 1-30, with 3 additional un-numbered pages, the last bearing a note by R.O. Gandy, ‘Practical forms of type theory. First draft’. Pages 1-2 of this document explain the purpose of the paper, which was to have appeared in two parts. The first part, considerably altered from the draft, appeared as ‘Practical forms of type theory’ in Journal of Symbolic Logic (Vol. 13, No.2, June 1948, pp. 80-94). An off-print of this article sent to A.E. Ingham, ‘with the author’s compliments’, is included. R.S. 1948b. For the MS of Part II of the projected work, see C/6 and D/2

Paper, 41 sh. in envelope. Some sh. printed.