Home » Browse the archive » AMT/B: Publications, lectures and talks » AMT/B/3
AMT/B 3
'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.
Keywords: 'A practical form of type theory I'
Provenance: Assembled by the A.M. Turing Trust
01
01a
01aa
01b
01bb
01c
01cc
01d
01dd
01e
01ee
01f
01ff
01g
01gg
01h
01i
01j
01k
01l
01m
01n
01o
01p
01q
01r
01s
01t
01u
01v
01w
01x
01y
01z
02
02a
02b
02c
02d
02e
02f
02g
02h
02i