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

Back to AMT/B | Browse the archive | Back to the top

Copyright & terms of use | Contacts

Home

Turing Digital Archives