Church's Type Theory. Benzmüller, C. & Andrews, P. In The Stanford Encyclopedia of Philosophy, pages 1–62 (in pdf version). Metaphysics Research Lab, Stanford University, Summer 2019 edition, 2019.
Church's Type Theory [link]Paper  bibtex   
@InCollection{J43,
  author =	 {Benzm{\"u}ller, Christoph and Andrews, Peter},
  title =	 {Church's Type Theory},
  booktitle =	 {The Stanford Encyclopedia of Philosophy},
  editor =	 {Edward N. Zalta},
  year =	 2019,
  edition =	 {Summer 2019},
  pages =	 {1--62 (in pdf version)},
  publisher =	 {Metaphysics Research Lab, Stanford University},
  url =
                  {https://plato.stanford.edu/entries/type-theory-church/},
}

Downloads: 0