@article{Turing37,
  title = {Computability and lambda-Definability},
  author = {Alan M. Turing},
  year = {1937},
  journal = {Journal of Symbolic Logic},
  volume = {2},
  number = {4},
  pages = {153-163},
}

@article{NewmanT42,
  title = {A Formal Theorem in Church s Theory of Types},
  author = {M. H. A. Newman and Alan M. Turing},
  year = {1942},
  journal = {Journal of Symbolic Logic},
  volume = {7},
  number = {1},
  pages = {28-33},
}

@article{Turing37a,
  title = {The Ø-Function in lambda-K-Conversion},
  author = {Alan M. Turing},
  year = {1937},
  journal = {Journal of Symbolic Logic},
  volume = {2},
  number = {4},
  pages = {164},
}

@article{Turing-1936,
  title = {On Computable Numbers, with an application to the Entscheidungsproblem},
  author = {Turing, A. M.},
  year = {1936},
  tags = {computability},
  journal = {Proc. London Math. Soc.},
  volume = {2},
  number = {42},
  pages = {230-265},
}

@article{Turing42,
  title = {The Use of Dots as Brackets in Church s System},
  author = {Alan M. Turing},
  year = {1942},
  journal = {Journal of Symbolic Logic},
  volume = {7},
  number = {4},
  pages = {146-156},
}

@article{Turing48,
  title = {Practical Forms of Type Theory},
  author = {Alan M. Turing},
  year = {1948},
  tags = {type theory},
  journal = {Journal of Symbolic Logic},
  volume = {13},
  number = {2},
  pages = {80-94},
}