A Formulation of the Simple Theory of Types. Church, A. 5(2):56–68.
A Formulation of the Simple Theory of Types [link]Paper  bibtex   
@article{church1940,
  author = {Alonzo Church},
  date = {1940},
  journaltitle = {The Journal of Symbolic Logic},
  number = {2},
  pages = {56--68},
  title = {A Formulation of the Simple Theory of Types},
  url = {http://www.jstor.org/stable/2266170},
  volume = {5},
}

Downloads: 0